src/HOL/Tools/Nitpick/nitpick_peephole.ML
changeset 35385 29f81babefd7
parent 35284 9edc2bd6d2bd
child 36385 ff5f88702590
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_peephole.ML	Thu Feb 25 10:08:44 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_peephole.ML	Thu Feb 25 16:33:39 2010 +0100
     1.3 @@ -126,7 +126,7 @@
     1.4  val norm_frac_rel = (4, 0)
     1.5  
     1.6  (* int -> bool -> rel_expr *)
     1.7 -fun atom_for_bool j0 = Atom o Integer.add j0 o int_for_bool
     1.8 +fun atom_for_bool j0 = Atom o Integer.add j0 o int_from_bool
     1.9  (* bool -> formula *)
    1.10  fun formula_for_bool b = if b then True else False
    1.11