1.1 --- a/test/Tools/isac/ProgLang/evaluate.sml	Sun May 10 15:55:30 2020 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/evaluate.sml	Sun May 10 17:26:36 2020 +0200
     1.3 @@ -98,7 +98,7 @@
     1.4  (*[3], Res*)val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (*nxt = ("Calculate",Calculate "POWER")*)
     1.5  (*[4], Res*)val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (*nxt = ("Check_Postcond",Check_Postcond ["calculate","test"])*)
     1.6  (*[], Res*)val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (*nxt = ("End_Proof'",End_Proof')*)
     1.7 -case f of FormKF "16" => () | _ =>
     1.8 +case f of Test_Out.FormKF "16" => () | _ =>
     1.9  error "evaluate.sml: script test_calculate changed behaviour";
    1.10  
    1.11