XSB

Update of /cvsroot/xsb/XSB/emu
In directory sfp-cvsdas-3.v30.ch3.sourceforge.com:/tmp/cvs-serv9579

Modified Files:
	complete_local.h 
Log Message:

Provisional change to fix strict_po.



Index: complete_local.h
===================================================================
RCS file: /cvsroot/xsb/XSB/emu/complete_local.h,v
retrieving revision 1.33
retrieving revision 1.34
diff -u -r1.33 -r1.34
--- complete_local.h	19 Aug 2010 15:03:36 -0000	1.33
+++ complete_local.h	30 Sep 2010 22:49:10 -0000	1.34
@@ -382,8 +382,11 @@
   /* restore_trail_condition_registers - because success path
    * will be followed
    */
-  ebreg = cp_ebreg(tcp_prevbreg(orig_breg));
-  hbreg = cp_hreg(tcp_prevbreg(orig_breg));
+  /* TLS: provisional change for strict_po 9/30/10 */
+  //    ebreg = cp_ebreg(tcp_prevbreg(orig_breg));
+  //    hbreg = cp_hreg(tcp_prevbreg(orig_breg));
+      ebreg = cp_ebreg(orig_breg);
+      hbreg = cp_hreg(orig_breg);
   subg_pos_cons(subgoal) = 0;
 
   /* reclaim stacks, including leader */