fix bad testing of choice-point in throw (tabling bug?)
This commit is contained in:
parent
0b17d3572b
commit
48861db34e
2
C/exec.c
2
C/exec.c
@ -1483,7 +1483,9 @@ JumpToEnv(Term t) {
|
|||||||
previous = handler;
|
previous = handler;
|
||||||
#ifdef TABLING
|
#ifdef TABLING
|
||||||
} else {
|
} else {
|
||||||
|
if (handler->cp_ap != NOCODE) {
|
||||||
abolish_incomplete_subgoals(handler);
|
abolish_incomplete_subgoals(handler);
|
||||||
|
}
|
||||||
#endif /* TABLING */
|
#endif /* TABLING */
|
||||||
}
|
}
|
||||||
/* we reached C-Code */
|
/* we reached C-Code */
|
||||||
|
@ -1 +1 @@
|
|||||||
Subproject commit f6a79007615bf46dc79712c41d61289834f28ba3
|
Subproject commit c325e4564bb8d4e32c27f2061df85f13d315974e
|
@ -1 +1 @@
|
|||||||
Subproject commit eb6d27251c2548c25e6d37fff2a27a014caaa7aa
|
Subproject commit a2d2f03107eecd45462cd61a678035132cf06326
|
Reference in New Issue
Block a user