From ed9e3cb10161dde86a87894155f2f74c60d28c4a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 12 Jun 2008 17:35:51 -0400
Subject: Matching values in signatures

---
 src/compiler.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index 9a213ab6..de644d37 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -132,7 +132,8 @@ fun testElaborate filename =
     (case elaborate ElabEnv.basis filename of
          NONE => print "Failed\n"
        | SOME (file, _) =>
-         (Print.print (ElabPrint.p_file ElabEnv.basis file);
+         (print "Succeeded\n";
+          Print.print (ElabPrint.p_file ElabEnv.basis file);
           print "\n"))
     handle ElabEnv.UnboundNamed n =>
            print ("Unbound named " ^ Int.toString n ^ "\n")
-- 
cgit v1.2.3