Merge pull request #19 from bgamari/master
authorBen Gamari <ben@smart-cactus.org>
Thu, 3 Dec 2015 20:16:16 +0000 (21:16 +0100)
committerBen Gamari <ben@smart-cactus.org>
Thu, 3 Dec 2015 20:16:16 +0000 (21:16 +0100)
Guard redundant equations


Trivial merge