1.1 --- a/test/Tools/isac/Knowledge/integrate.sml	Wed Oct 06 14:52:12 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/integrate.sml	Wed Oct 06 15:12:41 2010 +0200
     1.3 @@ -402,8 +402,9 @@
     1.4    ("Integrate",["integrate","function"],
     1.5     ["diff","integration"]);
     1.6  val p = e_pos'; val c = []; 
     1.7 -val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
     1.8 -val (p,_,f,nxt,_,pt) = me nxt p c pt;
     1.9 +val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; (*nxt = ("Model_Pr*)
    1.10 +val (p,_,f,nxt,_,pt) = me nxt p c pt; (*nxt = ("Tac ", ...)*)
    1.11 +(*=== inhibit exn ?=============================================================
    1.12  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.13  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.14  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.15 @@ -417,7 +418,6 @@
    1.16  else error "integrate.sml: method [diff,integration]";
    1.17  
    1.18  
    1.19 -(*=== inhibit exn ?=============================================================
    1.20  "----------- me method [diff,integration,named] ---------";
    1.21  "----------- me method [diff,integration,named] ---------";
    1.22  "----------- me method [diff,integration,named] ---------";