diff --git a/src/main/scala/leon/solvers/sygus/CVC4SygusSolver.scala b/src/main/scala/leon/solvers/sygus/CVC4SygusSolver.scala
index 3e05c3ee3eba90153338c210ed8a69b31340ae05..0771504fa1acd020a5e221049d628ed08af9fa3e 100644
--- a/src/main/scala/leon/solvers/sygus/CVC4SygusSolver.scala
+++ b/src/main/scala/leon/solvers/sygus/CVC4SygusSolver.scala
@@ -20,6 +20,7 @@ class CVC4SygusSolver(ctx: LeonContext, pgm: Program, p: Problem) extends SygusS
     Seq(
       "-q",
       "--cegqi-si",
+      "--cbqi-sym-lia",
       "--macros-quant",
       "--lang", "sygus",
       "--print-success"