diff -r f5c7375ab465 -r 3d101f2f817c Nominal/nominal_dt_rawfuns.ML
--- a/Nominal/nominal_dt_rawfuns.ML	Thu Dec 16 02:25:35 2010 +0000
+++ b/Nominal/nominal_dt_rawfuns.ML	Thu Dec 16 08:42:48 2010 +0000
@@ -60,7 +60,7 @@
 
 fun get_all_binders bclauses = 
   bclauses
-  |> map (fn (BC (_, x, _)) => x) 
+  |> map (fn (BC (_, binders, _)) => binders) 
   |> flat
   |> remove_dups (op =)