Skip to content

Commit 29deb47

Browse files
committed
Fix building on Windows and WASM
1 parent c2ffbe1 commit 29deb47

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

boot/toplevel.pl

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -972,7 +972,9 @@
972972
:- endif.
973973

974974

975-
:- if(use_app_settings(true)).
975+
:- if((current_predicate(use_app_settings/1),
976+
use_app_settings(true))).
977+
976978

977979
/*******************************
978980
* APP WORKING DIRECTORY *

0 commit comments

Comments
 (0)