src/HOL/Tools/Nitpick/nitpick_model.ML
changeset 61324 d4ec7594f558
parent 60924 610794dff23c
child 61331 2007ea8615a2
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Mon Oct 05 13:26:25 2015 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Mon Oct 05 15:57:25 2015 +0200
     1.3 @@ -579,7 +579,7 @@
     1.4                      |> mk_tuple (HOLogic.mk_tupleT uncur_arg_Ts)
     1.5                      |> dest_n_tuple (length uncur_arg_Ts)
     1.6                  val t =
     1.7 -                  if constr_s = @{const_name Nitpick.Abs_Frac} then
     1.8 +                  if constr_s = @{const_name Abs_Frac} then
     1.9                      case ts of
    1.10                        [Const (@{const_name Pair}, _) $ t1 $ t2] =>
    1.11                        frac_from_term_pair (body_type T) t1 t2