1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml
index abf9bff5..eadb58d7 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -342,7 +342,7 @@ fun testTag job =
            print ("Unbound named " ^ Int.toString n ^ "\n")
 
 fun testReduce job =
-    (case tag job of
+    (case reduce job of
          NONE => print "Failed\n"
        | SOME file =>
          (Print.print (CorePrint.p_file CoreEnv.empty file);