1.1 --- a/src/Tools/isac/Interpret/inform.sml	Wed Dec 21 08:57:47 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Wed Dec 21 09:21:26 2016 +0100
     1.3 @@ -396,14 +396,14 @@
     1.4  	     then ("no derivation found", (tacis, c, ptp): Chead.calcstate') 
     1.5  	     else
     1.6           let
     1.7 -           val cs' as (tacis, c', ptp) = nxt_solve_ ptp; (*<---------------------*)
     1.8 +           val cs' as (tacis, c', ptp) = Solve.nxt_solve_ ptp; (*<---------------------*)
     1.9  		       val (tacis, c'', ptp) = case tacis of
    1.10  			       ((Subproblem _, _, _)::_) => 
    1.11  			         let
    1.12                   val ptp as (pt, (p,_)) = Chead.all_modspec ptp (*<--------------------*)
    1.13  				         val mI = get_obj g_metID pt p
    1.14  			         in
    1.15 -			           nxt_solv (Apply_Method' (mI, NONE, e_istate, e_ctxt)) (e_istate, e_ctxt) ptp
    1.16 +			           Solve.nxt_solv (Apply_Method' (mI, NONE, e_istate, e_ctxt)) (e_istate, e_ctxt) ptp
    1.17                 end
    1.18  			     | _ => cs';
    1.19  		     in compare_step (tacis, c @ c' @ c'', ptp) ifo end