This commit is contained in:
Vitor Santos Costa
2017-11-11 22:48:09 +00:00
parent 23565fc351
commit bf67b8e609
27 changed files with 441 additions and 6490 deletions

View File

@@ -972,7 +972,7 @@ be lost.
get_code( debugger_input,NC),
'$get_deb_depth_char_by_char'(NC,XI,XF).
% reset when given garbage.
'$get_deb_depth_char_by_char'(C,_,10) :- skip(10).
'$get_deb_depth_char_by_char'(_C,_,10) :- skip(10).
'$set_deb_depth'(D) :-
yap_flag(debugger_print_options,L),