Fixed typo that accidentally prints warning message if a Z3 context is created with the 'timeout' parameter
Fixed typo that accidentally prints warning message if a Z3 context is created with the 'timeout' parameter

mschlaipfer/z3,wujunzero/z3,conceptofproof/z3,seahorn/z3,wujunzero/z3,conceptofproof/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,conceptofproof/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,conceptofproof/z3,conceptofproof/z3,mschlaipfer/z3,kyledewey/z3,wujunzero/z3,seahorn/z3,conceptofproof/z3,wujunzero/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,wujunzero/z3,mschlaipfer/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,wujunzero/z3