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