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)
1  2 
frontends/ast/simplify.cc

Simple merge