# HG changeset patch
# User panny
# Date 1398946047 -7200
# Node ID f7d0520e7be23ea8f67cb5c50b201a7749de83fd
# Parent  8a87502c7da36e729325708c5e9e6c91b97ef7a8
use qualified name (was interpreted as a catch-all variable name)

diff -r 8a87502c7da3 -r f7d0520e7be2 src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML
--- a/src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML	Thu May 01 14:05:29 2014 +0200
+++ b/src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML	Thu May 01 14:07:27 2014 +0200
@@ -690,7 +690,7 @@
 
     val sel_concls = sels ~~ ctr_args
       |> map (fn (sel, ctr_arg) => HOLogic.mk_eq (betapply (sel, lhs), ctr_arg))
-        handle UnequalLengths =>
+        handle ListPair.UnequalLengths =>
           primcorec_error_eqn "partially applied constructor in right-hand side" rhs;
 
 (*