Dependency ordering

[hcoop/domtool2.git] / src / main.sml

diff --git a/src/main.sml b/src/main.sml
index bbf1091..e00562a 100644 (file)
--- a/src/main.sml
+++ b/src/main.sml
@@ -57,7 +57,7 @@ fun reduce fname =
                    ()
                else
                    case prog of
-                       (_, SOME body) =>
+                       (_, _, SOME body) =>
                        let
                            val body' = Reduce.reduceExp G' body
                        in
@@ -84,7 +84,7 @@ fun eval fname =
                    ()
                else
                    case prog of
-                       (_, SOME body) =>
+                       (_, _, SOME body) =>
                        let
                            val body' = Reduce.reduceExp G' body
                        in