1.1 --- a/test/Tools/isac/Knowledge/logexp.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/logexp.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -48,7 +48,7 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p c pt;
     1.5  val (p,_,f,nxt,_,pt) = me nxt p c pt;
     1.6  case nxt of ("Apply_Method",_) => ()
     1.7 -	  | _ => raise error "logexp.sml setup innsbruck";
     1.8 +	  | _ => error "logexp.sml setup innsbruck";
     1.9  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.10  
    1.11