Fix bug in `SExpr::is_list`

elliottt / easy-smt

Easy SMT solver interaction

Apache License 2.0

24 stars 4 forks source link

Fix bug in `SExpr::is_list` #16

Closed fitzgen closed 1 year ago

fitzgen commented 1 year ago

Would accidentally always return false because the comparison should have been != 0 not == 1. This makes it even simpler, however, by just inverting is_atom.

Fixes #13