1.1 --- a/test/Tools/isac/Interpret/me.sml	Tue Oct 05 09:01:30 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/me.sml	Tue Oct 05 09:17:48 2010 +0200
     1.3 @@ -427,7 +427,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   val (p,_,f,nxt,_,pt) = me nxt p c pt;
     1.7 - val (p,_,f,nxt,_,pt) = (me nxt p c pt) handle e => print_exn e;
     1.8 + val (p,_,f,nxt,_,pt) = (me nxt p c pt) handle e => OldGoals.print_exn e;
     1.9   val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.10   val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.11   (*nxt = Specify_Theory "DiffApp.thy"*)