# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1268304087 -3600
# Node ID 6e856be26ac70a07c2a49167ca5e77c8e360e595
# Parent  d3b86738e8484b8f58967191c5fa8f064e94fe44
Proper error message.

diff -r d3b86738e848 -r 6e856be26ac7 Nominal/Fv.thy
--- a/Nominal/Fv.thy	Thu Mar 11 11:32:37 2010 +0100
+++ b/Nominal/Fv.thy	Thu Mar 11 11:41:27 2010 +0100
@@ -174,7 +174,7 @@
       in
         if arg_no mem args_in_bn then 
           (if is_rec_type dt then
-            (if body_index dt = ith_dtyp then fvbn $ x else error "fv_bn: not good")
+            (if body_index dt = ith_dtyp then fvbn $ x else error "fv_bn: recursive argument, but wrong datatype.")
           else @{term "{} :: atom set"}) else
         if is_atom thy ty then mk_single_atom x else
         if is_atom_set thy ty then mk_atoms x else