From 5a0a0cb8fb9e21503cacdbc1ee800ecf0a1bf0f8 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 5 Jan 2009 14:28:10 +0000 Subject: [PATCH] git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8394 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/su4sml.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/su4sml/src/su4sml.sml b/su4sml/src/su4sml.sml index 26a1ce9..365d0ef 100644 --- a/su4sml/src/su4sml.sml +++ b/su4sml/src/su4sml.sml @@ -170,7 +170,7 @@ fun main (name:string,args:(string list)) = | (_, "check-model"::_) => let val _ = print "not yet supported \n" in 0 end (* codegen *) | (_, ["codegen", "help"]) => let val _ = Codegen.print_usage() in 0 end - | (_, "codegen"::args) => Codegen.main("su4sml",args) + | (_, "codegen"::args) => let val _ = Codegen.main("su4sml",args) in 0 end (* transform-model *) | (_, ["transform-model", "help"]) => let val _ = print "not yet supported \n" in 0 end | (_, "transform-model"::_) => let val _ = print "not yet supported \n" in 0 end