1.1 --- a/src/Tools/isac/Interpret/mstools.sml	Sat Feb 26 12:53:00 2011 +0100
     1.2 +++ b/src/Tools/isac/Interpret/mstools.sml	Tue Mar 01 15:23:59 2011 +0100
     1.3 @@ -570,10 +570,10 @@
     1.4      "("^(string_of_int i)^", "^((strs2str o (map string_of_int)) vs)^", "^fi^","^
     1.5      (term2str t)^", "^((strs2str o (map term2str)) ts)^")";
     1.6  val oris2str = 
     1.7 -    let val s = !show_types
     1.8 -	val _ = show_types:= true
     1.9 +    let (*val s = !show_types
    1.10 +	val _ = show_types:= true*)
    1.11  	val str = (strs2str' o (map (linefeed o ori2str)))
    1.12 -	val _ = show_types:= s
    1.13 +	(*val _ = show_types:= s*)
    1.14      in str end;
    1.15  
    1.16  (*.an or without leading integer.*)