Fix --force-optimized-typechecker

Commit

7 years ago

Fix --force-optimized-typechecker I believe this was broken due to recent refactoring of cmake.