Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 79970ed6c19a6660b1238fe9021a3df4e5884245)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision efd6e4a5219097d23d789bc75ebb585fd722bb95)
@@ -38,5 +38,4 @@
 #include "SynTree/TypeSubstitution.h"
 #include "SymTab/Validate.h"
-#include "Designators/Processor.h"
 #include "Tuples/TupleAssignment.h"
 #include "Tuples/NameMatcher.h"