# HG changeset patch
# User blanchet
# Date 1457020989 -3600
# Node ID ff99681b3fd818a28af586490c0cdd3d1e6d8103
# Parent  4a5b81ff599204e381fd935150b9ebcef033adb6
made Nitpick more robust

diff -r 4a5b81ff5992 -r ff99681b3fd8 src/HOL/Tools/Nitpick/nitpick_hol.ML
--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Thu Mar 03 08:33:55 2016 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Thu Mar 03 17:03:09 2016 +0100
@@ -1421,6 +1421,7 @@
   x |> def_props_for_const thy table |> List.last
     |> normalized_rhs_of |> Option.map (prefix_abs_vars s)
   handle List.Empty => NONE
+       | TERM _ => NONE
 
 fun def_of_const_ext thy (unfold_table, fallback_table) (x as (s, _)) =
   if is_built_in_const x orelse original_name s <> s then