Mercurial > hg > truffle
comparison test/Makefile @ 15138:48145633717c
rename FalsePredicate to ContradictionPredicate
author | Gilles Duboscq <duboscq@ssw.jku.at> |
---|---|
date | Fri, 11 Apr 2014 18:17:21 +0200 |
parents | 4ca6dc0799b6 |
children | 89152779163c |
comparison
equal
deleted
inserted
replaced
15137:4a162f0b59d7 | 15138:48145633717c |
---|