Changes in src/ResolvExpr/AlternativeFinder.h [ea6332d:a5f0529]

File:

• src/ResolvExpr/AlternativeFinder.h (modified) (1 diff)

src/ResolvExpr/AlternativeFinder.h

@@ -16 +16 @@
 #pragma once
 
-#include <algorithm>                     // for copy
-#include <list>                          // for list
-#include <string>                        // for string
+#include <set>
 
-#include "Alternative.h"                 // for AltList, Alternative
-#include "ResolvExpr/Cost.h"             // for Cost, Cost::infinity
-#include "ResolvExpr/TypeEnvironment.h"  // for AssertionSet, OpenVarSet
-#include "SynTree/Visitor.h"             // for Visitor
-#include "SynTree/SynTree.h"             // for Visitor Nodes
-
-namespace SymTab {
-class Indexer;
-}  // namespace SymTab
+#include "Alternative.h"
+#include "Unify.h"
+#include "SynTree/SynTree.h"
+#include "SymTab/Indexer.h"
+#include "SynTree/TypeSubstitution.h"
 
 namespace ResolvExpr {