From 176f36d5fdd623fefd2dbef8a6b22ea56939b5ab Mon Sep 17 00:00:00 2001 From: vsc Date: Thu, 13 Apr 2006 02:04:24 +0000 Subject: [PATCH] fix debugging typo git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1600 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- C/compiler.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/C/compiler.c b/C/compiler.c index 917b7b05b..2e41c7b18 100644 --- a/C/compiler.c +++ b/C/compiler.c @@ -11,8 +11,11 @@ * File: compiler.c * * comments: Clause compiler * * * -* Last rev: $Date: 2006-04-12 20:08:51 $,$Author: vsc $ * +* Last rev: $Date: 2006-04-13 02:04:24 $,$Author: vsc $ * * $Log: not supported by cvs2svn $ +* Revision 1.73 2006/04/12 20:08:51 vsc +* make it sure that making vars safe does not propagate across branches of disjunctions. +* * Revision 1.72 2006/04/05 00:16:54 vsc * Lots of fixes (check logfile for details * @@ -297,7 +300,6 @@ c_var(Term t, Int argno, unsigned int arity, unsigned int level, compiler_struct v->NextOfVE = cglobs->vtable; v->RCountOfVE = 0; v->AgeOfVE = v->FirstOfVE = cglobs->goalno; - v->UnsafeUpdateVE = 0; new = TRUE; cglobs->vtable = v; } else {