1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Tue Sep 28 09:06:56 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Tue Sep 28 09:37:41 2010 +0200
     1.3 @@ -501,7 +501,7 @@
     1.4  vars' ~~ vals;
     1.5  (*[("e_e", [x+1=2), ("v_v", x)]    OLD: [("e_", [x+1=2), ("v_", x)]*)
     1.6  (assoc (vars'~~vals, cy'));
     1.7 -(*Some (Free ("x", "RealDef.real")) : term option*)
     1.8 +(*SOME (Free ("x", "RealDef.real")) : term option*)
     1.9  	   val cy_ext = (free2str o the) (assoc (vars'~~vals, cy'))^"_"^ext;
    1.10                 (*x_i*)
    1.11  "-----------------continue step through code match_ags---";