added ExtraFin.AdjAsCN

This commit is contained in:
aarne
2016-04-24 08:44:29 +00:00
parent 83e66e151c
commit f48585151f
2 changed files with 6 additions and 1 deletions

View File

@@ -265,4 +265,9 @@ concrete ExtraFin of ExtraFinAbs = CatFin **
} ;
AdjAsCN ap = {
s = \\nf => ap.s ! True ! (n2nform nf) ;
h = Back ; ---- TODO should be ap.h, which does not exist
} ;
}