From 8199af7c641ceab1bc01de4266c6e5d60f3b8fdb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Doser?= <doserj@inf.ethz.ch>
Date: Mon, 24 Apr 2006 12:40:46 +0000
Subject: [PATCH] added files to ROOT.ML

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4437 3260e6d1-4efc-4170-b0a7-36055960796d
---
 src/codegen/ROOT.ML | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/codegen/ROOT.ML b/src/codegen/ROOT.ML
index 3a7ba49..1569476 100644
--- a/src/codegen/ROOT.ML
+++ b/src/codegen/ROOT.ML
@@ -39,10 +39,13 @@ use "tpl_parser.sml";
 use "cartridge.sig";
 use "base_cartridge.sig";
 use "base_cartridge.sml";
+use "security_cartridge.sig";
+use "design_cartridge.sig";
 use "c#_cartridge.sml";
 use "c#_net1_cartridge.sml";
 use "secureuml_cartridge.sig";
 use "secureuml_cartridge.sml";
+use "componentuml_cartridge.sml";
 (*
 use "java_cartridge.sml";
 *)