diff options
Diffstat (limited to 'src/preprocessing/passes/global_negate.h')
-rw-r--r-- | src/preprocessing/passes/global_negate.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/global_negate.h b/src/preprocessing/passes/global_negate.h index 853e5a4dd..208b8d990 100644 --- a/src/preprocessing/passes/global_negate.h +++ b/src/preprocessing/passes/global_negate.h @@ -42,7 +42,7 @@ class GlobalNegate : public PreprocessingPass AssertionPipeline* assertionsToPreprocess) override; private: - Node simplify(std::vector<Node>& assertions, NodeManager* nm); + Node simplify(const std::vector<Node>& assertions, NodeManager* nm); }; } // namespace passes |