diff --git a/C/absmi.c b/C/absmi.c index adb091505..5c64959ed 100755 --- a/C/absmi.c +++ b/C/absmi.c @@ -7553,7 +7553,8 @@ Yap_absmi(int inp) FAIL(); } /* in case we call Execute */ - YREG = YENV = ENV; + YENV = ENV; + YREG = ENV; JMPNext(); ENDBOp();