-
Alexandre Duret-Lutz authored
Fixes #193, reported by Etienne Renault. * spot/parsetl/parsetl.yy: Clone printed formulas. * tests/core/parse.test: Add test case. * NEWS: Mention the issue.
40ed1205
Fixes #193, reported by Etienne Renault. * spot/parsetl/parsetl.yy: Clone printed formulas. * tests/core/parse.test: Add test case. * NEWS: Mention the issue.