From 09a398d5b6b4fc34d3ade61b18cc4436918699e5 Mon Sep 17 00:00:00 2001
From: Manuel Krucker <mkrucker@ethz.ch>
Date: Wed, 7 May 2008 13:24:45 +0000
Subject: [PATCH] debuggin level added

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7900 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 55e84a2..b96c4f7 100644
--- a/su4sml/src/rep_logger.sml
+++ b/su4sml/src/rep_logger.sml
@@ -68,7 +68,7 @@ sig
     val rep_core                   : int
     val low                        : int
     val development                : int
-
+    val isa_metho                  : int
     val su4sml_home                : unit -> string
 
 end