diff options
Diffstat (limited to 'src/util/options.h')
-rw-r--r-- | src/util/options.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/options.h b/src/util/options.h index d9d9c8567..b8d21f2b0 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -159,8 +159,8 @@ struct CVC4_PUBLIC Options { /** Log to write replay instructions to; NULL if not logging. */ std::ostream* replayLog; - /** Whether to rewrite equalities in arithmetic theory */ - bool rewriteArithEqualities; + /** Determines whether arithmetic will try to variables. */ + bool variableRemovalEnabled; /** Turn on and of arithmetic propagation. */ bool arithPropagation; |