From a8b7ab52af8c9abffd7a4212205304450f91914d Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sun, 10 Dec 2006 14:24:18 +0000 Subject: [PATCH] git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5713 3260e6d1-4efc-4170-b0a7-36055960796d --- src/codegen/ROOT.ML | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/codegen/ROOT.ML b/src/codegen/ROOT.ML index 410a1fa..03e8d09 100644 --- a/src/codegen/ROOT.ML +++ b/src/codegen/ROOT.ML @@ -30,6 +30,7 @@ OS.FileSys.chDir ".."; use "gcg_library.sml"; use "gcg_helper.sml"; +use "stringHandling.sml"; (*use "examples/simple.sml"; *) (*use "examples/ebank.sml";*) @@ -48,14 +49,13 @@ use "design_cartridge.sig"; use "secureuml_cartridge.sml"; use "componentuml_cartridge.sml"; -(* + use "java_cartridge.sml"; -*) + (* Statemachines *) use "SM_helper.sml"; use "stateMachineTypes.sml"; -use "stringHandling.sml"; use "stateMachine.sml"; use "c#sm_cartridge.sig"; use "c#sm_cartridge.sml";