interface work.
This commit is contained in:
parent
94032de135
commit
e90fda2d5f
@ -241,7 +241,7 @@ public:
|
|||||||
}
|
}
|
||||||
~YAPTermHandle(void) {
|
~YAPTermHandle(void) {
|
||||||
CACHE_REGS
|
CACHE_REGS
|
||||||
Yap_RecoverSlots(1 PASS_REGS);
|
Yap_RecoverSlots(1, handle PASS_REGS);
|
||||||
}
|
}
|
||||||
|
|
||||||
YAPTerm get() {
|
YAPTerm get() {
|
||||||
|
Reference in New Issue
Block a user