diff --git a/src/codegen/ROOT.ML b/src/codegen/ROOT.ML index ab7ad9e..f6bba60 100644 --- a/src/codegen/ROOT.ML +++ b/src/codegen/ROOT.ML @@ -22,7 +22,6 @@ ******************************************************************************) -use "gcg_library.sml"; use "gcg_helper.sml"; use "stringHandling.sml"; (*use "examples/simple.sml"; *) diff --git a/src/codegen/codegen.cm b/src/codegen/codegen.cm index 47c1ac4..50f1c92 100644 --- a/src/codegen/codegen.cm +++ b/src/codegen/codegen.cm @@ -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 diff --git a/src/codegen/codegen.mlb b/src/codegen/codegen.mlb index c4d2c18..2d00837 100644 --- a/src/codegen/codegen.mlb +++ b/src/codegen/codegen.mlb @@ -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