1.1 --- a/test/Tools/isac/Knowledge/diff.sml Tue Oct 18 12:05:03 2016 +0200
1.2 +++ b/test/Tools/isac/Knowledge/diff.sml Thu Oct 20 10:26:29 2016 +0200
1.3 @@ -215,8 +215,10 @@
1.4 "--- 9 ---";
1.5 (*val nxt = ("End_Proof'",End_Proof');*)
1.6 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
1.7 -if nxt = ("End_Proof'",End_Proof') andalso f2str f = "3 + 2 * x" then ()
1.8 -else error "diff.sml: new.behav. in me (*+ tacs input*)";
1.9 +if f2str f = "3 + 2 * x"
1.10 + then case nxt of ("End_Proof'", End_Proof') => ()
1.11 + | _ => error "diff.sml: new.behav. in me (*+ tacs input*) 1"
1.12 +else error "diff.sml: new.behav. in me (*+ tacs input*) 2";
1.13 (*if f = EmptyMout then () else error "new behaviour in + tacs input";
1.14 meNEW extracts Form once more*)
1.15
1.16 @@ -251,8 +253,8 @@
1.17 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.18 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.19 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.20 -if nxt = ("End_Proof'",End_Proof') then ()
1.21 -else error "new behaviour in tests/differentiate, 1.5.02 me from script";
1.22 +case nxt of ("End_Proof'",End_Proof') => ()
1.23 +| _ => error "new behaviour in tests/differentiate, 1.5.02 me from script";
1.24
1.25 "----------- primed id ----------------------------------";
1.26 "----------- primed id ----------------------------------";