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/theory/quantifiers/query_generator.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/theory/quantifiers/query_generator.cpp') diff --git a/src/theory/quantifiers/query_generator.cpp b/src/theory/quantifiers/query_generator.cpp index 1c34cc2f4..61ad4b87f 100644 --- a/src/theory/quantifiers/query_generator.cpp +++ b/src/theory/quantifiers/query_generator.cpp @@ -16,6 +16,7 @@ #include "theory/quantifiers/query_generator.h" #include +#include #include "options/quantifiers_options.h" #include "smt/smt_engine.h" -- cgit v1.2.3