Update yices.h

Expanded the text about modes in MCSAT.
SRI-CSL · Aug 8, 2023 · f2263ad · f2263ad
1 parent 705f446
commit f2263ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/include/yices.h b/src/include/yices.h
@@ -2655,7 +2655,7 @@ __YICES_DLLSPEC__ extern void yices_garbage_collect(const term_t t[], uint32_t n
  *
  * The "mcsat" solver is required for formulas that use non-linear
  * arithmetic. If you select "mcsat" as the solver type, no other
- * configuration is necessary.
+ * configuration is necessary (incremental and push-pop usages are enabled).
  *
  * If you select "dpllt" as the solver type, then you can define the
  * combination of theory solvers you want to include.