made Nitpick more robust
authorblanchet
Thu Mar 03 17:03:09 2016 +0100 (2016-03-03)
changeset 62500ff99681b3fd8
parent 62499 4a5b81ff5992
child 62512 922e702ae8ca
made Nitpick more robust
src/HOL/Tools/Nitpick/nitpick_hol.ML
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Thu Mar 03 08:33:55 2016 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Thu Mar 03 17:03:09 2016 +0100
     1.3 @@ -1421,6 +1421,7 @@
     1.4    x |> def_props_for_const thy table |> List.last
     1.5      |> normalized_rhs_of |> Option.map (prefix_abs_vars s)
     1.6    handle List.Empty => NONE
     1.7 +       | TERM _ => NONE
     1.8  
     1.9  fun def_of_const_ext thy (unfold_table, fallback_table) (x as (s, _)) =
    1.10    if is_built_in_const x orelse original_name s <> s then