diff -r 95d956108461 -r 460c24a6a6ba test/Tools/isac/Knowledge/logexp.sml
--- a/test/Tools/isac/Knowledge/logexp.sml	Tue Sep 28 08:58:06 2010 +0200
+++ b/test/Tools/isac/Knowledge/logexp.sml	Tue Sep 28 09:06:56 2010 +0200
@@ -48,7 +48,7 @@
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 case nxt of ("Apply_Method",_) => ()
-	  | _ => raise error "logexp.sml setup innsbruck";
+	  | _ => error "logexp.sml setup innsbruck";
 val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;