Mercurial Mercurial > hg > nominal2 / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/nominal_dt_rawfuns.ML
changeset 2611 3d101f2f817c
parent 2608 86e3b39c2a60
child 2616 dd7490fdd998 
--- 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 =)
nominal2