Merge pull request #527 from Nihlus/rewriter-cecil-0.10
authorvaron <varon@users.noreply.github.com>
Tue, 30 May 2017 19:51:35 +0000 (21:51 +0200)
committerGitHub <noreply@github.com>
Tue, 30 May 2017 19:51:35 +0000 (21:51 +0200)
commitc697eaed7562890f902f52ad14e4dfdbc1051c48
tree5b3c0bbaff25a69c4dc711a927e5c0e1873740eb
parentc05ac4f7a0bebaefa4a8945b16a0aeb02283e207
parentb8975c5626004e86f471aa23f292b1af8ec2b8d3
Merge pull request #527 from Nihlus/rewriter-cecil-0.10

Additional error check in rewriter