This commit is contained in:
Vítor Santos Costa
2018-04-05 00:58:25 +01:00
parent 3d8ef251a5
commit bc3555dfbf
8 changed files with 28 additions and 36 deletions

View File

@@ -610,8 +610,7 @@ be lost.
( Skip == creep -> true; '$id_goal'(GoalNumber) ; GoalNumber =< Border),
!,
'__NB_setval__'('$debug_status', state(creep, 0, stop)),
'$trace_port_'(Port, GoalNumber, G, Module, Info),
writeln(Port:G).
'$trace_port_'(Port, GoalNumber, G, Module, Info).
'$trace_port'(_Port, _GoalNumber, _G, _Module, _CalledFromDebugger, _Info).
'$trace_port_'(call, GoalNumber, G, Module, Info) :-