diff --git a/su4sml/src/ROOT.ML b/su4sml/src/ROOT.ML
index 12facba..ecb37f4 100644
--- a/su4sml/src/ROOT.ML
+++ b/su4sml/src/ROOT.ML
@@ -39,8 +39,8 @@
  ******************************************************************************)
 (* $Id$ *)
 
-use "rep_logger.sml";
 use "rep_helper.sml";
+use "rep_logger.sml";
 use "stringHandling.sml";
 
 (* ****************************************************** *)
diff --git a/su4sml/src/rep_logger.sml b/su4sml/src/rep_logger.sml
index c3b1846..0923bff 100644
--- a/su4sml/src/rep_logger.sml
+++ b/su4sml/src/rep_logger.sml
@@ -224,7 +224,4 @@ fun error_msg s = print (s^"\n")
 (** output an error message and Fail *)
 fun error s = (print (s^"\n"); raise Fail s)
 
-fun remove_dup [] = []
-  | remove_dup (h::tail) = if (member h tail) then (remove_dup tail) else ((h)::(remove_dup tail))
-
 end