Commit Graph

2 Commits

Author SHA1 Message Date
Georges Dupéron
de64530806 Fixed test 2016-09-28 14:08:06 +02:00
Georges Dupéron
66726ba26e Made ~order-point work with possibly-empty clauses. 2016-09-28 14:01:25 +02:00