# HG changeset patch
# User obua
# Date 1194271281 -3600
# Node ID 5ff6fc338db1a1ef6f4af0e85143096f7ba65160
# Parent  3026df96941d25f26b3e3e95016e7a7a24c5910d
no Gencode.ML

diff -r 3026df96941d -r 5ff6fc338db1 src/Tools/Compute_Oracle/am_sml.ML
--- 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