UserCode may changed YENV, so be careful, be very careful! (obs from Nuno Fonseca).

2009-11-27 13:14:30 +00:00 · 2009-11-27 13:14:30 +00:00 · d746afaa32
commit d746afaa32
parent 98f79484ae
1 changed files with 2 additions and 0 deletions
--- a/C/absmi.c
+++ b/C/absmi.c
@ -7540,6 +7540,8 @@ Yap_absmi(int inp)
      if (!SREG) {
 	FAIL();
      }
+      /* in case we call Execute */
+      YREG = ENV;
      JMPNext();
      ENDBOp();