1.1 --- a/src/sml/FE-interface/interface.sml	Fri Feb 11 18:15:10 2005 +0100
     1.2 +++ b/src/sml/FE-interface/interface.sml	Fri Feb 11 18:29:35 2005 +0100
     1.3 @@ -43,7 +43,7 @@
     1.4  
     1.5  fun moveActiveFormula (cI:calcID) (p:pos') =
     1.6      let val ((pt,_),_) = get_calc cI
     1.7 -    in if existpt' p pt then (upd_ipos 1 cI p; iteratorOK2xml cI p)
     1.8 +    in if existpt' p pt then (upd_ipos cI 1 p; iteratorOK2xml cI p)
     1.9         else sysERROR2xml cI "frontend sends a non-existing pos" end;
    1.10   
    1.11  (* val (cI, tac) = (1, Add_Given "equality (x ^^^ 2 + 4 * x + 3 = 0)");
    1.12 @@ -278,6 +278,7 @@
    1.13  
    1.14  (* val (cI, ifo) = (1, "-1 + x = 0");
    1.15     val (cI, ifo) = (1, "x - 1 = 0");
    1.16 +   val (cI, ifo) = (1, "-1 + x = 0");
    1.17     val (cI, ifo) = (2, "-1 + x = 0");
    1.18     *)
    1.19  fun replaceFormula cI ifo =