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