Remove unnecessary argument to addBranch
authorAnders <mortberg@chalmers.se>
Tue, 21 Apr 2015 09:44:39 +0000 (11:44 +0200)
committerAnders <mortberg@chalmers.se>
Tue, 21 Apr 2015 09:44:39 +0000 (11:44 +0200)
commitcc96b7d53fc869a31b0305a8ab259c34c096c20a
tree9746cf76dc2af442aa8d6c192d0aee922a7e8888
parent0e54eae0f8b9f7c2f8fccca50aaf0d402c5d2782
Remove unnecessary argument to addBranch
TypeChecker.hs