Merge pull request #52 from lthls/hygiene-fix
Hygiene tests: don't duplicate compilation units
authored by R. Boujbel and committed by GitHub 3 years ago d53d4f19 9f8bdf07