src/Tools/Compute_Oracle/am_sml.ML

     let
 	val guid = get_guid ()
 	val code = Real.toString (random ())
 	val module = "AMSML_"^guid
 	val (arity, toplevel_arity, inlinetab, source) = sml_prog module code eqs
-	val _ = writeTextFile "Gencode.ML" source
+	(*val _ = writeTextFile "Gencode.ML" source*)
 	val _ = compiled_rewriter := NONE
 	val _ = use_source source
     in
 	case !compiled_rewriter of 
 	    NONE => raise Compile "broken link to compiled function"