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

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

This commit is contained in:
Achim D. Brucker 2006-12-22 22:20:36 +00:00
parent 4c1bcc95ab
commit fda5952174
2 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/ROOT.ML
View File

@ -23,11 +23,6 @@
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
******************************************************************************)
use "library.sml";
(* library should be opend locally for MLton compatibility... *)
(* open library; *)
(* ****************************************************** *)
@ -37,6 +32,7 @@ OS.FileSys.chDir "../lib/fxp/src";
use "ROOT.ML";
OS.FileSys.chDir "../../../src";
use "library.sml";
(* ****************************************************** *)
(* Abstract Representation of an XMI File of a UML Model.

2
src/codegen/ROOT.ML
View File

@ -57,7 +57,7 @@ use "componentuml_cartridge.sml";
use "java_cartridge.sml";
use "junit.sml";
use "junit_cartridge.sml";
(* Statemachines *)