extended AP with Ord and compar in 1.5

2008-10-03 20:42:09 +00:00
parent 56c2c0e067
commit 16a1a48874
16 changed files with 115 additions and 115 deletions
@@ -381,7 +381,7 @@ lin

 oper
    mkOrd : N -> Ord ;
-    mkOrd x = {s = \\n,c => x.s ! NCase n c; lock_Ord = <> } ;
+    mkOrd x = {s = x.s ; lock_Ord = <> } ;
    cpartitive = casePrep partitive ;

 } ;