fix stack_dump

This commit is contained in:
Vitor Santos Costa
2008-08-25 15:20:18 +01:00
parent a6b9d096a6
commit 8169ef0343
2 changed files with 3 additions and 3 deletions

View File

@@ -25,7 +25,7 @@ stack_dump(Max) :-
length(CPs, LCPs),
length(Envs, LEnvs),
format(user_error,'~n~n~tStack Dump~t~40+~n~nAddress~tChoiceP~16+ Cur/Next Clause Goal~n',[LCPs,LEnvs]),
display_stack_info(CPs, Envs, Max, ContP, StackInfo, StackInfo, []),
'$hacks':display_stack_info(CPs, Envs, Max, ContP, StackInfo, []),
run_formats(StackInfo, user_error).
run_formats([], _).