test/Tools/isac/Knowledge/eqsystem-1.sml
changeset 60571 19a172de0bb5
parent 60567 bb3140a02f3d
child 60575 5b936d0aed05
     1.1 --- a/test/Tools/isac/Knowledge/eqsystem-1.sml	Wed Oct 19 15:39:15 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/eqsystem-1.sml	Thu Oct 20 10:23:38 2022 +0200
     1.3 @@ -526,7 +526,7 @@
     1.4    ("Biegelinie",["normalise", "2x2", "LINEAR", "system"],
     1.5     ["EqSystem", "normalise", "2x2"]);
     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) = Test_Code.init_calc @{context} [(fmz, (dI',pI',mI'))];
     1.9  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.10  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.11  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;