the Plus predicate from NQueens is replaced with definition for function plus

This commit is contained in:
krasimir
2010-03-24 16:14:36 +00:00
parent 14f19b9865
commit fdd68f9040
3 changed files with 5 additions and 6 deletions

View File

@@ -7,7 +7,6 @@ lin zero = "" ;
lincat LT = Str ;
NE = {} ;
Plus = {} ;
lin zLT n = n ;
sLT _ _ l = l ;