1.1 --- a/src/Tools/isac/Interpret/inform.sml	Thu Dec 22 11:36:20 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Thu Dec 22 11:55:16 2016 +0100
     1.3 @@ -371,7 +371,7 @@
     1.4  (* compare inform with ctree.form at current pos by nrls;
     1.5     if found, embed the derivation generated during comparison
     1.6     if not, let the mat-engine compute the next ctree.form *)
     1.7 -(* structure copied from complete_solve
     1.8 +(* code's structure is copied from complete_solve
     1.9     CAUTION: tacis in returned calcstate' do NOT construct resulting ptp --
    1.10              all_modspec etc. has to be inserted at Subproblem'*)
    1.11  fun compare_step ((tacis, c, ptp as (pt, pos as (p,p_))): Chead.calcstate') ifo =