diff options
Diffstat (limited to 'src/smt/set_defaults.h')
| -rw-r--r-- | src/smt/set_defaults.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/set_defaults.h b/src/smt/set_defaults.h index 293f1398d..4d1bf5bcb 100644 --- a/src/smt/set_defaults.h +++ b/src/smt/set_defaults.h @@ -115,7 +115,7 @@ class SetDefaults * use of other theories to handle certain operators, e.g. UF to handle * partial functions. */ - void widenLogic(LogicInfo& logic, Options& opts) const; + void widenLogic(LogicInfo& logic, const Options& opts) const; //------------------------- options setting, post finalization of logic /** * Set all default options, after we have finalized the logic. |