make use of CommonX.CAdv

2018-07-10 13:59:01 +02:00
parent 5d734f9a6c
commit 43950360a6
5 changed files with 11 additions and 12 deletions
@@ -22,7 +22,6 @@ oper
 -- Adverbs modifying adjectives and sentences can also be formed.

  mkAdA  : Str -> AdA = \x -> lin AdA (ss x) ;
-  mkCAdv : Str -> Str -> CAdv = \s,sn -> lin CAdv {s = s; sn = sn} ;

 --2 Adjectives
 --