# HG changeset patch
# User wenzelm
# Date 1193573769 -3600
# Node ID f22c1fcbc50155fc55ccb45fe96cb59703a38d9d
# Parent  084f468145e377c5af4a1b236d6f37c028848234
made SML/NJ happy;

diff -r 084f468145e3 -r f22c1fcbc501 src/Tools/Compute_Oracle/am_sml.ML
--- a/src/Tools/Compute_Oracle/am_sml.ML	Sun Oct 28 11:57:04 2007 +0100
+++ b/src/Tools/Compute_Oracle/am_sml.ML	Sun Oct 28 13:16:09 2007 +0100
@@ -351,7 +351,7 @@
 		map eval_rule (rev (section (arity + 1)))
 	    end
 
-	fun (convert_computed_rules : int -> string list) c = 
+	fun convert_computed_rules (c: int) : string list = 
 	    let
 		val arity = the (arity_of c)
 		fun eval_rule () =