X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/629a34f64f780c03d049d20057acc9a487162272..095de39e1be653dcb6438d19c719bd7797e0772a:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index bbf1091..e00562a 100644
--- 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