remove debug code

njit-jerse · Nov 21, 2023 · 0254a20 · 0254a20
1 parent 7ad4b83
commit 0254a20
Showing 1 changed file with 0 additions and 6 deletions.
diff --git 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<UnsolvedClass> 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();