diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-05-22 15:09:03 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-05-22 15:09:03 +0000 |
| commit | 52c5c282f47448856e0dec8a7d4e5de612a8dcc3 (patch) | |
| tree | b6eac07d1c91aeab8fbfa4d6bd03981939614e77 /src/theory/arith/simplex.cpp | |
| parent | 6ce8f5cc5d7767d5ff9e74bc08d3c8a364ad8bf1 (diff) | |
This commit merges in the branch arithmetic/cprop.
Diffstat (limited to 'src/theory/arith/simplex.cpp')
| -rw-r--r-- | src/theory/arith/simplex.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/simplex.cpp b/src/theory/arith/simplex.cpp index 31187afd1..b5475586a 100644 --- a/src/theory/arith/simplex.cpp +++ b/src/theory/arith/simplex.cpp @@ -44,7 +44,7 @@ SimplexDecisionProcedure::SimplexDecisionProcedure(LinearEqualityModule& linEq, d_pivotsInRound(), d_DELTA_ZERO(0,0) { - switch(Options::ArithPivotRule rule = Options::current()->pivotRule) { + switch(Options::ArithPivotRule rule = Options::current()->arithPivotRule) { case Options::MINIMUM: d_queue.setPivotRule(ArithPriorityQueue::MINIMUM); break; |