diff --git a/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java b/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java index 870b0055..8d8becca 100644 --- a/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java +++ b/src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java @@ -1246,9 +1246,6 @@ public static boolean calledByAnIncompleteSyntheticClass(MethodCallExpr method) * @param missedClass the class to be updated */ public void updateMissingClass(UnsolvedClass missedClass) { - if (missedClass.getClassName().equals("T")) { - throw new RuntimeException("shouldn't be updating T as a missing class!"); - } Iterator iterator = missingClass.iterator(); while (iterator.hasNext()) { UnsolvedClass e = iterator.next(); @@ -1325,9 +1322,6 @@ public void deleteOldSyntheticClass(UnsolvedClass missedClass) { * @param missedClass the class to be added */ public void createMissingClass(UnsolvedClass missedClass) { - if (missedClass.getClassName().equals("T")) { - throw new RuntimeException("probably shouldn't be creating this one"); - } StringBuilder fileContent = new StringBuilder(); fileContent.append(missedClass); String classPackage = missedClass.getPackageName();