Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick_peephole.ML
changeset 35385 29f81babefd7
parent 35284 9edc2bd6d2bd
child 36385 ff5f88702590 
--- a/src/HOL/Tools/Nitpick/nitpick_peephole.ML	Thu Feb 25 10:08:44 2010 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_peephole.ML	Thu Feb 25 16:33:39 2010 +0100
@@ -126,7 +126,7 @@
 val norm_frac_rel = (4, 0)
 
 (* int -> bool -> rel_expr *)
-fun atom_for_bool j0 = Atom o Integer.add j0 o int_for_bool
+fun atom_for_bool j0 = Atom o Integer.add j0 o int_from_bool
 (* bool -> formula *)
 fun formula_for_bool b = if b then True else False
isabelle