xdg

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3036 3260e6d1-4efc-4170-b0a7-36055960796d
2005-09-07 17:49:13 +00:00 · 2005-09-07 17:49:13 +00:00 · 6faecbf088
parent e2bee654b9
commit 6faecbf088
1 changed files with 3 additions and 1 deletions
--- a/src/ROOT.ML
+++ b/src/ROOT.ML
@ -42,7 +42,9 @@ use "rep_core.sig";
 use "rep_core.sml";
 use "rep.sig";
 use "rep.sml";
-use "xmi.sml";
+
+use "xmi.sml"; (* should be separated analogously as rep *)
+
 use "xmltree_parser.sml";
 use "xml2xmi.sml";
 use "xmi2rep.sml";