Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
made SML/NJ happy;
authorwenzelm
Sun, 28 Oct 2007 13:16:09 +0100
changeset 25220 f22c1fcbc501
parent 25219 084f468145e3
child 25221 5ded95dda5df
made SML/NJ happy;
src/Tools/Compute_Oracle/am_sml.ML file | annotate | diff | comparison | revisions 
--- 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 () =
isabelle