adjusted build files

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6049 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2007-02-07 16:01:24 +00:00
parent 4b89536388
commit 364e26f1ce
3 changed files with 0 additions and 3 deletions

View File

@ -22,7 +22,6 @@
******************************************************************************)
use "gcg_library.sml";
use "gcg_helper.sml";
use "stringHandling.sml";
(*use "examples/simple.sml"; *)

View File

@ -8,7 +8,6 @@ Group is
../su4sml.cm
cartridge.sig
security_cartridge.sig
gcg_library.sml
gcg_helper.sml
tpl_parser.sml
SM_helper.sml

View File

@ -11,7 +11,6 @@ in
compiler/compiler_ext.sig
compiler/mlton.sml
stringHandling.sml
gcg_library.sml
gcg_helper.sml
tpl_parser.sig
tpl_parser.sml