1.1 --- a/test/Tools/isac/Knowledge/algein.sml	Thu Dec 19 12:40:17 2019 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/algein.sml	Thu Dec 19 16:41:57 2019 +0100
     1.3 @@ -74,7 +74,7 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p c pt;val(p,_,f,nxt,_,pt)=me nxt p c pt;f2str f;
     1.5  val (p,_,f,nxt,_,pt) = me nxt p c pt;
     1.6  if f2str f = "L = 104"
     1.7 -then case nxt of ("End_Proof'", End_Proof') => ()
     1.8 +then case nxt of End_Proof' => ()
     1.9    | _ => error "algein.sml diff.behav. in erstNumerisch 99 1"
    1.10  else error "algein.sml diff.behav. in erstNumerisch 99 2";
    1.11  DEconstrCalcTree 1;