Merge branch 'bugfix'
authorClifford Wolf <clifford@clifford.at>
Thu, 16 May 2013 14:44:45 +0000 (16:44 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 16 May 2013 14:44:45 +0000 (16:44 +0200)
commitc5ee2b306a2515a1aaa33d8fb7655f58453aba85
tree7a9c5f8b64dc43444b4814a9cb933e8cc0628155
parentbe8ecd6d1681b6f3b0c43470508473ba3301ce30
parent6cc8e848b6f222f2e853c4b86c41148f2b8ea0d5
Merge branch 'bugfix'
frontends/ast/simplify.cc