1.1 --- a/src/smltest/IsacKnowledge/algein.sml	Tue Apr 10 23:45:07 2007 +0200
     1.2 +++ b/src/smltest/IsacKnowledge/algein.sml	Thu Apr 12 16:11:11 2007 +0200
     1.3 @@ -113,6 +113,8 @@
     1.4  moveActiveRoot 1;
     1.5  autoCalculate 1 CompleteCalc;
     1.6  val ((pt,p),_) = get_calc 1; show_pt pt;
     1.7 +if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "L = 104" then()
     1.8 +else raise error "algein.sml: 'Berechnung' 'erstSymbolisch' changed";
     1.9  
    1.10  (*
    1.11  show_pt pt;