Fix g++ compile-time error
Fix g++ compile-time error

Signed-off-by: U-EUROPE\t-alexh <28172c2f832141f8fe1017c29236efe099524e53@microsoft.com>

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