Remove unused code line
Merge pull request #138 from rsas/unused-expr

Remove unused code line
Merge remote-tracking branch 'origin/master' into synthesis-pass-support

Conflicts:
	lib/Extractor/Solver.cpp