setLogic is missing?

[jwaldmann]

examples/Examples.hs:  setLogic "QF_LIA"

but it's nowhere in the source.

[jwaldmann]

when CVC4 sees input without `set-logic? it will complain

t.smt2:3.7: No set-logic command was given before this point.
t.smt2:3.7: CVC4 will make all theories available.
t.smt2:3.7: Consider setting a stricter logic for (likely) better performance.
t.smt2:3.7: To suppress this warning in the future use (set-logic ALL).

[jwaldmann]

Ah, it is setOption (SMTLogic "QF_LRA")