Fixed issue #630 by fixing a minor typo in the previous commit
authorUdi Finkelstein <github@udifink.com>
Mon, 24 Sep 2018 21:32:57 +0000 (00:32 +0300)
committerUdi Finkelstein <github@udifink.com>
Mon, 24 Sep 2018 21:32:57 +0000 (00:32 +0300)
commit80a07652f2eb5e13190f46dcc116207a0427dc65
tree7474c92ca2c8d0118191d065ee4912ef7adebca7
parentc693f595c53e2e40840ff40b5b5ba06767582d23
Fixed issue #630 by fixing a minor typo in the previous commit
(as well as a non critical minor code optimization)
frontends/ast/simplify.cc