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