[CMake] Fix incorrect variable name.
[CMake] Fix incorrect variable name.

seahorn/z3,seahorn/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,seahorn/z3,seahorn/z3