# HG changeset patch
# User wenzelm
# Date 1196883035 -3600
# Node ID 121705bba34909d482c3d33811e40404465caccb
# Parent  ffa6e91b7addad25046e0cff2103691dcfc10382
made SML/NJ happy;

diff -r ffa6e91b7add -r 121705bba349 src/Tools/Compute_Oracle/am_sml.ML
--- a/src/Tools/Compute_Oracle/am_sml.ML	Wed Dec 05 20:16:36 2007 +0100
+++ b/src/Tools/Compute_Oracle/am_sml.ML	Wed Dec 05 20:30:35 2007 +0100
@@ -20,7 +20,7 @@
 
 open AbstractMachine;
 
-val dump_output = ref NONE
+val dump_output = ref (NONE: string option)
 
 type program = string * string * (int Inttab.table) * (int Inttab.table) * (term Inttab.table) * (term -> term)