diff --git a/src/ROOT.ML b/src/ROOT.ML
index 5b9e75d..d996cb6 100644
--- 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";