1.1 --- a/test/Tools/isac/Knowledge/diffapp.sml	Tue Oct 05 09:01:30 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/diffapp.sml	Tue Oct 05 09:17:48 2010 +0200
     1.3 @@ -274,7 +274,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  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.12 @@ -373,7 +373,7 @@
    1.13  
    1.14  (*----postponed.15.5.03 run scripts for maximum-example: univariate equation
    1.15  
    1.16 -val (p,_,f,nxt,_,pt) = (me nxt p c pt) handle e => print_exn e; 
    1.17 +val (p,_,f,nxt,_,pt) = (me nxt p c pt) handle e => OldGoals.print_exn e; 
    1.18  
    1.19  val oris = fst3 (get_obj g_origin pt (fst p));writeln(oris2str oris);
    1.20