1.1 --- a/src/Tools/isac/Interpret/calchead.sml	Mon Oct 11 12:55:40 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/calchead.sml	Mon Oct 11 13:31:22 2010 +0200
     1.3 @@ -1766,7 +1766,7 @@
     1.4    | nxt_model_pbl tac_ _ = 
     1.5      error ("nxt_model_pbl: called by tac= "^tac_2str tac_);
     1.6  (* run subp_rooteq.sml ''
     1.7 -   until nxt=("Subproblem",Subproblem ("SqRoot.thy",["univariate","equation"]))
     1.8 +   until nxt=("Subproblem",Subproblem ("SqRoot",["univariate","equation"]))
     1.9  > val (_, (Subproblem'((_,pblID,metID),_,_,_,_),_,_,_,_,_)) =
    1.10        (last_elem o drop_last) ets'';
    1.11  > val mst = (last_elem o drop_last) ets'';