debugging msg
This commit is contained in:
parent
ecd980c491
commit
3c73a2e6d6
@ -879,7 +879,6 @@ db_files(Fs) :-
|
|||||||
'$do_startup_reconsult'(_).
|
'$do_startup_reconsult'(_).
|
||||||
|
|
||||||
'$skip_unix_header'(Stream) :-
|
'$skip_unix_header'(Stream) :-
|
||||||
writeln(Stream),
|
|
||||||
peek_code(Stream, 0'#), !, % 35 is ASCII for '#
|
peek_code(Stream, 0'#), !, % 35 is ASCII for '#
|
||||||
skip(Stream, 10),
|
skip(Stream, 10),
|
||||||
'$skip_unix_header'(Stream).
|
'$skip_unix_header'(Stream).
|
||||||
@ -1688,4 +1687,3 @@ consult_depth(LV) :- '$show_consult_level'(LV).
|
|||||||
|
|
||||||
@}
|
@}
|
||||||
*/
|
*/
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user