From dc764ce250f0d63714dab76f98bc556f00afb9f0 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 25 Mar 2021 18:34:39 +0100 Subject: Add missing includes. (#6207) This PR adds includes that are missing from source files, but currently provided by other includes. This mostly concerns which is currently included by the statistics, which will change in the future. --- src/preprocessing/passes/ho_elim.cpp | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/preprocessing') diff --git a/src/preprocessing/passes/ho_elim.cpp b/src/preprocessing/passes/ho_elim.cpp index dfe7da87d..284fbc72b 100644 --- a/src/preprocessing/passes/ho_elim.cpp +++ b/src/preprocessing/passes/ho_elim.cpp @@ -16,6 +16,8 @@ #include "preprocessing/passes/ho_elim.h" +#include + #include "expr/node_algorithm.h" #include "options/quantifiers_options.h" #include "preprocessing/assertion_pipeline.h" -- cgit v1.2.3