summaryrefslogtreecommitdiff
path: root/src/main.mlton.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-08 12:27:08 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-08 12:27:08 -0400
commit32115a531d5ed6cafa25dc7d3b88c2679e5142a5 (patch)
tree17f75e04d2559dc15a0f184c1c7da266de8a5a16 /src/main.mlton.sml
parentc060d15003e3435d4d4c770d8f109f756db13ef5 (diff)
Primitive type constants
Diffstat (limited to 'src/main.mlton.sml')
-rw-r--r--src/main.mlton.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index ac9c24d6..433b19f2 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -26,5 +26,5 @@
*)
val () = case CommandLine.arguments () of
- [filename] => Compiler.testParse filename
+ [filename] => Compiler.testElaborate filename
| _ => print "Bad arguments"