compiler warning in z3_driver.cpp

sillydan1 / expr

Simple variable and environment manipulation language

MIT License

1 stars 0 forks source link

compiler warning in z3_driver.cpp #15

Closed sillydan1 closed 1 year ago

sillydan1 commented 1 year ago

The warning

expr-src/src/drivers/z3_driver.cpp:158:17: warning: control reaches end of non-void function [-Wreturn-type]
  158 |                 },
      |                 ^