src/HOL/Tools/Nitpick/nitpick.ML
changeset 56245 84fc7dfa3cd4
parent 55890 bd7927cca152
child 57996 ca917ea6969c
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Fri Mar 21 15:12:03 2014 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Fri Mar 21 20:33:56 2014 +0100
     1.3 @@ -1062,7 +1062,7 @@
     1.4    end
     1.5  
     1.6  fun is_fixed_equation ctxt
     1.7 -                      (Const (@{const_name "=="}, _) $ Free (s, _) $ Const _) =
     1.8 +                      (Const (@{const_name Pure.eq}, _) $ Free (s, _) $ Const _) =
     1.9      Variable.is_fixed ctxt s
    1.10    | is_fixed_equation _ _ = false
    1.11