[Xsb-commits] CVS: XSB/emu std_pred_xsb_i.h,1.31,1.32

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/emu
In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv32110

Modified Files:
	std_pred_xsb_i.h 
Log Message:

Copied wrong code when reconstructing for new CVS.  


Index: std_pred_xsb_i.h
===================================================================
RCS file: /cvsroot/xsb/XSB/emu/std_pred_xsb_i.h,v
retrieving revision 1.31
retrieving revision 1.32
diff -u -r1.31 -r1.32
--- std_pred_xsb_i.h	22 May 2006 20:47:45 -0000	1.31
+++ std_pred_xsb_i.h	22 May 2006 23:30:51 -0000	1.32
@@ -923,10 +923,14 @@
   switch (cell_tag(Term1)) {
   case XSB_ATTV: 
   case XSB_REF: 
-  case XSB_REF1: 
-    if (not_occurs_in(Term1,Term2))
-      return unify(CTXTc Term1,Term2);
-    else return FALSE;
+  case XSB_REF1: {
+    if (isnonvar(Term2)) {
+      if (not_occurs_in(Term1,Term2))
+	return unify(CTXTc Term1,Term2);
+      else return FALSE;
+    } else 
+      return (int) unify(CTXTc Term1,Term2);
+  }
   case XSB_INT:
   case XSB_STRING:
   case XSB_FLOAT: