diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix indenting.

Browse Source
This commit is contained in:
Vitor Santos Costa 2012-08-23 21:02:41 +01:00
parent f85a2112c9
commit 495d852879
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
pl/qly.yap
View File

@ -202,10 +202,10 @@ save_program(File, _Goal) :-
'$do_startup_reconsult'(X), '$do_startup_reconsult'(X),
fail. fail.
'$init_from_saved_state_and_args' :- '$init_from_saved_state_and_args' :-
recorded('$restore_flag', init_file(M:B), R), recorded('$restore_flag', init_file(M:B), R),
erase(R), erase(R),
'$do_startup_reconsult'(M:B), '$do_startup_reconsult'(M:B),
fail. fail.
'$init_from_saved_state_and_args' :- '$init_from_saved_state_and_args' :-
'$startup_goals', '$startup_goals',
fail. fail.
@ -218,10 +218,10 @@ save_program(File, _Goal) :-
'$init_from_saved_state_and_args'. '$init_from_saved_state_and_args'.
'$init_path_extensions' :- '$init_path_extensions' :-
get_value('$extend_file_search_path',P), !, get_value('$extend_file_search_path',P), !,
P \= [], P \= [],
set_value('$extend_file_search_path',[]), set_value('$extend_file_search_path',[]),
'$extend_file_search_path'(P). '$extend_file_search_path'(P).
'$init_path_extensions' :- '$init_path_extensions' :-
retractall(user:library_directory(_)), retractall(user:library_directory(_)),
% make sure library_directory is open. % make sure library_directory is open.