[Xsb-commits] CVS: XSB/syslib assert.P,1.23,1.24 assert.xwam,1.11,1.12

[David S. W. <dw...@us...>]

Update of /cvsroot/xsb/XSB/syslib
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv698

Modified Files:
	assert.P assert.xwam 
Log Message:
Minor change in checking clauses to be asserted.


Index: assert.P
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/assert.P,v
retrieving revision 1.23
retrieving revision 1.24
diff -u -r1.23 -r1.24
--- assert.P	28 Oct 2003 13:54:25 -0000	1.23
+++ assert.P	29 Jan 2004 18:41:22 -0000	1.24
@@ -193,13 +193,15 @@
 	!,			% This captures Clause being variable
 	( var(Head) ->
 		abort(('Uninstantiated argument 1 of ', Pred))
-	; check_assert(Head, Pred), 
+	; check_assert_fact(Head, Pred), 
 	  ( check_body(Body) -> true
 	  ; abort(('Wrong type in argument 1 of ', Pred,
 			   ' (callable term expected)'))
 	  )
 	).
-check_assert(Head, Pred) :- 	% asserting a fact
+check_assert(Head, Pred) :- check_assert_fact(Head, Pred).
+
+check_assert_fact(Head, Pred) :- 	% asserting a fact
 	( callable(Head) -> 
 	    ( functor(Head, F, A),
 		standard_symbol(F, A, _Prop),

Index: assert.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/assert.xwam,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -r1.11 -r1.12
Binary files /tmp/cvsTXwwRN and /tmp/cvsKLA6qs differ