fix exit
This commit is contained in:
parent
22837d498b
commit
023c254d03
@ -791,6 +791,7 @@ be lost.
|
||||
nodebug,
|
||||
abort.
|
||||
'$action'(0'b,_,_,_,_,_) :- !, % 'b break
|
||||
'$stop_creeping'(_),
|
||||
'$skipeol'(0'b),
|
||||
break,
|
||||
fail.
|
||||
@ -802,7 +803,6 @@ be lost.
|
||||
'$skipeol'(0'c),
|
||||
'__NB_setval__'('$debug_jump',false).
|
||||
'$action'(0'e,_,_,_,_,_) :- !, % 'e exit
|
||||
'$skipeol'(0'e),
|
||||
halt.
|
||||
'$action'(0'f,_,CallId,_,_,_) :- !, % 'f fail
|
||||
'$scan_number'(0'f, CallId, GoalId), %'f
|
||||
|
Reference in New Issue
Block a user