-
Alexandre Duret-Lutz authored
Reported by Joachim Klein. * src/hoaparse/hoaparse.yy: Add a std::set to keep track of duplicate propositions. * src/tgbatest/hoaparse.test: Test it.
cbee5c1a
Reported by Joachim Klein. * src/hoaparse/hoaparse.yy: Add a std::set to keep track of duplicate propositions. * src/tgbatest/hoaparse.test: Test it.