Filter out empty-typed binders in selector cases.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 6 Aug 2009 17:19:52 +0000 (19:19 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 6 Aug 2009 17:19:52 +0000 (19:19 +0200)
This makes sure that the non-empty binders are skipped when calculating
the field number, which prevents overflow when indexing the field names.


No differences found