From 8d9e76e962cf4d1c0115da8ec2fc8a60d3d8be11 Mon Sep 17 00:00:00 2001
From: Manuel Krucker <mkrucker@ethz.ch>
Date: Wed, 2 Apr 2008 13:34:53 +0000
Subject: [PATCH] git-svn-id:
 https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7579
 3260e6d1-4efc-4170-b0a7-36055960796d

---
 su4sml/src/rep_logger.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/su4sml/src/rep_logger.sml b/su4sml/src/rep_logger.sml
index 0923bff..78041df 100644
--- a/su4sml/src/rep_logger.sml
+++ b/su4sml/src/rep_logger.sml
@@ -75,7 +75,7 @@ end
 structure Rep_Logger:REP_LOGGER =
 struct
 
-open Rep_Help_Functions
+open Rep_Helper
 
 
 (* minimal tracing support (modifed version of ocl_parser tracing *)