| changeset 25279 | 5ff6fc338db1 |
| parent 25220 | f22c1fcbc501 |
| child 25520 | e123c81257a5 |
--- a/src/Tools/Compute_Oracle/am_sml.ML Mon Nov 05 14:26:41 2007 +0100 +++ b/src/Tools/Compute_Oracle/am_sml.ML Mon Nov 05 15:01:21 2007 +0100 @@ -499,7 +499,7 @@ 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