diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-05-03 15:16:50 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-05-03 15:16:50 -0400 |
| commit | 753e84e5b3068efe973be1871b6456abf9b9470b (patch) | |
| tree | 043231ca65ace707ee5e2dbe83dfe21797dbe31c /src/theory/arith/options | |
| parent | 69410776fdd18f8020a5c0a1daec8bc928ab8551 (diff) | |
Code cleanup. Reducing misc. warnings in arithmetic.
Diffstat (limited to 'src/theory/arith/options')
| -rw-r--r-- | src/theory/arith/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/options b/src/theory/arith/options index 35cede8b4..7d92f5351 100644 --- a/src/theory/arith/options +++ b/src/theory/arith/options @@ -94,7 +94,7 @@ option exportDioDecompositions --dio-decomps bool :default false :read-write option newProp --new-prop bool :default false :read-write Use the new row propagation system -option arithPropAsLemmaLength --arith-prop-clauses int :default 8 :read-write +option arithPropAsLemmaLength --arith-prop-clauses uint16_t :default 8 :read-write Rows shorter than this are propagated as clauses option soiQuickExplain --soi-qe bool :default false :read-write |