Commit Graph
1 Commits
Author SHA1 Message Date
Anna Kozlova 1ed0901d4b new inference: reject equals bounds contradicting lower bounds 2014-12-17 09:57:48 +01:00