Changes in src/ResolvExpr/FindOpenVars.cc [6c3a988f:ea6332d]

File:

• src/ResolvExpr/FindOpenVars.cc (modified) (1 diff)

src/ResolvExpr/FindOpenVars.cc

@@ -15 +15 @@
 
 #include "FindOpenVars.h"
-#include "SynTree/Type.h"
-#include "SynTree/Visitor.h"
+
+#include <list>                   // for _List_const_iterator, list<>::const...
+#include <map>                    // for map<>::mapped_type
+
+#include "SynTree/Declaration.h"  // for TypeDecl, DeclarationWithType (ptr ...
+#include "SynTree/Type.h"         // for Type, Type::ForallList, ArrayType
+#include "SynTree/Visitor.h"      // for Visitor
 
 namespace ResolvExpr {