From 512433b06e99a6a1bdd25e520e57e75969c87324 Mon Sep 17 00:00:00 2001
From: Haifeng Shi <44760135+AndrewShf@users.noreply.github.com>
Date: Sat, 26 Mar 2022 16:38:11 -0400
Subject: [PATCH] Fix IllegalArgumentException caused by mismatch of arguments
 in createFlowAnalysis() (#199)

---
 docs/CHANGELOG.md                                               | 1 +
 .../framework/type/GenericAnnotatedTypeFactory.java             | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
index 1bd58c24d29..2930c69ba21 100644
--- a/docs/CHANGELOG.md
+++ b/docs/CHANGELOG.md
@@ -6,6 +6,7 @@ Version 3.21.3-eisop2 (March ?, 2022)
 **Implementation details:**
 
 **Closed issues:**
+eisop#199.
 
 
 Version 3.21.3-eisop1 (March 23, 2022)
diff --git a/framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java b/framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
index 9b022eff62a..1d3740c7604 100644
--- a/framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
+++ b/framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
@@ -614,7 +614,7 @@ protected FlowAnalysis createFlowAnalysis() {
             FlowAnalysis result =
                     BaseTypeChecker.invokeConstructorFor(
                             BaseTypeChecker.getRelatedClassName(checkerClass, "Analysis"),
-                            new Class<?>[] {BaseTypeChecker.class, this.getClass(), List.class},
+                            new Class<?>[] {BaseTypeChecker.class, this.getClass()},
                             new Object[] {checker, this});
             if (result != null) {
                 return result;