diff --git a/CXX/yapi.hh b/CXX/yapi.hh index a353b1b68..df6e9ae0e 100644 --- a/CXX/yapi.hh +++ b/CXX/yapi.hh @@ -241,7 +241,7 @@ public: } ~YAPTermHandle(void) { CACHE_REGS - Yap_RecoverSlots(1 PASS_REGS); + Yap_RecoverSlots(1, handle PASS_REGS); } YAPTerm get() {