remove debugging messsage
This commit is contained in:
parent
59f6e89def
commit
0985a10078
@ -218,7 +218,7 @@ to allow user-control.
|
|||||||
|
|
||||||
|
|
||||||
'$do_error'(Type,Goal) :-
|
'$do_error'(Type,Goal) :-
|
||||||
format('~w~n', [Type]),
|
% format('~w~n', [Type]),
|
||||||
ancestor_location(Call, Caller),
|
ancestor_location(Call, Caller),
|
||||||
throw(error(Type, [
|
throw(error(Type, [
|
||||||
[g|g(Goal)],
|
[g|g(Goal)],
|
||||||
|
Reference in New Issue
Block a user