diff options
Diffstat (limited to 'src/preprocessing/passes/miplib_trick.cpp')
| -rw-r--r-- | src/preprocessing/passes/miplib_trick.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/miplib_trick.cpp b/src/preprocessing/passes/miplib_trick.cpp index e9819072d..fe515ed59 100644 --- a/src/preprocessing/passes/miplib_trick.cpp +++ b/src/preprocessing/passes/miplib_trick.cpp @@ -207,7 +207,7 @@ PreprocessingPassResult MipLibTrick::applyInternal( Node zero = nm->mkConst(Rational(0)), one = nm->mkConst(Rational(1)); Node trueNode = nm->mkConst(true); - unordered_map<TNode, Node, TNodeHashFunction> intVars; + unordered_map<TNode, Node> intVars; for (TNode v0 : d_boolVars) { if (propagator->isAssigned(v0)) |