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