Explicitly handle empty HsCase and HsLamCase. #216

Merged
matt-noonan merged 1 commits from master into master 2019-06-05 22:42:56 +02:00

1 Commits (master)

Author SHA1 Message Date
Matt Noonan 8551600377 Explicitly handle empty HsCase and HsLamCase. 2019-02-04 22:56:46 -05:00