stupid bug in assert_all (thanks to Jose Santos).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2186 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
		@@ -420,7 +420,7 @@ true :- true.
 | 
				
			|||||||
	 ;
 | 
						 ;
 | 
				
			||||||
	  nb_getval('$assert_all',on)
 | 
						  nb_getval('$assert_all',on)
 | 
				
			||||||
	 ->
 | 
						 ->
 | 
				
			||||||
	  functor(G,N,A),
 | 
						  functor(H,N,A),
 | 
				
			||||||
	  '$dynamic'(N/A,Mod),
 | 
						  '$dynamic'(N/A,Mod),
 | 
				
			||||||
	  '$assertz_dynamic'(L,G,G0,Mod)
 | 
						  '$assertz_dynamic'(L,G,G0,Mod)
 | 
				
			||||||
	 ;
 | 
						 ;
 | 
				
			||||||
 
 | 
				
			|||||||
		Reference in New Issue
	
	Block a user