fix missing lock_Sub1000 warning

This commit is contained in:
krasimir
2008-02-29 15:34:05 +00:00
parent aa210a01c3
commit 4b9d76dbe6

View File

@@ -73,7 +73,7 @@ lin pot3 n = {
n = Pl
} ;
lin pot3plus n m = {
s = \\c => (pot3 n).s ! NCard DMascIndef ++ case m.i of {False => []; True => "è"} ++ m.s ! c ;
s = \\c => (pot3 (n ** {lock_Sub1000=<>})).s ! NCard DMascIndef ++ case m.i of {False => []; True => "è"} ++ m.s ! c ;
n = Pl
} ;