diff --git a/su4sml/src/ROOT.ML b/su4sml/src/ROOT.ML
index 0430159..25cb701 100644
--- a/su4sml/src/ROOT.ML
+++ b/su4sml/src/ROOT.ML
@@ -120,7 +120,7 @@ use "xmi_parser.sml";        (* conversion XML to XMI *);
 use "xmi_idtable.sml";    (* auxiliary table to store and dereference xmi.id's *)
 use "rep_parser.sml";        (* conversion XMI to Rep *)
 
-use "transform_library.sml"
+use "transform_library.sml";
 use "rep_transform.sml";
 use "listeq.sml";
 use "mds.sig";