diff options
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index ba3e58f6..0f1e7135 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -3238,7 +3238,7 @@ fun p_file env (ds, ps) = val rfcFmt = "%a, %d %b %Y %H:%M:%S" in box [string "#include \"", - string (OS.Path.joinDirFile {dir = Config.includ, + string (OS.Path.joinDirFile {dir = !Settings.configInclude, file = "config.h"}), string "\"", newline, @@ -3262,7 +3262,7 @@ fun p_file env (ds, ps) = string "\"", newline]) (Settings.getHeaders ()), string "#include \"", - string (OS.Path.joinDirFile {dir = Config.includ, + string (OS.Path.joinDirFile {dir = !Settings.configInclude, file = "urweb.h"}), string "\"", newline, |