fix repeated definition for halt.
This commit is contained in:
parent
d02c9d23c2
commit
5fb3ec0515
@ -268,8 +268,6 @@ version(T) :-
|
|||||||
fail.
|
fail.
|
||||||
'$set_toplevel_hook'(_).
|
'$set_toplevel_hook'(_).
|
||||||
|
|
||||||
halt(X) :- '$halt'(X).
|
|
||||||
|
|
||||||
halt :-
|
halt :-
|
||||||
print_message(informational, halt),
|
print_message(informational, halt),
|
||||||
'$halt'(0).
|
'$halt'(0).
|
||||||
|
Reference in New Issue
Block a user