HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8394 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Achim D. Brucker 2009-01-05 14:28:10 +00:00
parent 09466ebea0
commit 5a0a0cb8fb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/su4sml.sml
View File

@ -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