Updated for SML/NJ 110.46+

[bpt/mlt.git] / src / config.sml

diff --git a/src/config.sml b/src/config.sml
index 691f714..45253ac 100644 (file)
--- a/src/config.sml
+++ b/src/config.sml
@@ -62,8 +62,8 @@ struct
 
            fun read (fields as {inPath, outPath, pubPath, lib, compiler, cm, sml, printFn, beforeT, afterT, exnT}) =
                (case TextIO.inputLine inf of
-                    "" => CONFIG fields
-                  | line =>
+                    NONE => CONFIG fields
+                  | SOME line =>
                     (case String.tokens Char.isSpace line of
                          [] => read fields
                        | ["in", inPath] => read {inPath = expandPath inPath, outPath = outPath, pubPath = pubPath,