Fix minor bug with unfolding lemma on pattern-matchings with primitive records
Fix minor bug with unfolding lemma on pattern-matchings with primitive records

mattam82/Coq-Equations,mattam82/Coq-Equations