src/Tools/Compute_Oracle/am_sml.ML

--- a/src/Tools/Compute_Oracle/am_sml.ML	Mon Mar 24 18:44:21 2008 +0100
+++ b/src/Tools/Compute_Oracle/am_sml.ML	Mon Mar 24 23:34:24 2008 +0100
@@ -493,7 +493,7 @@
 
 fun writeTextFile name s = File.write (Path.explode name) s
 
-fun use_source src = use_text "" Output.ml_output false src
+fun use_source src = use_text (1, "") Output.ml_output false src
     
 fun compile cache_patterns const_arity eqs = 
     let