some cleaning

njit-jerse · Nov 1, 2023 · 763642c · 763642c
1 parent c53f327
commit 763642c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/main/java/org/checkerframework/specimin/TargetMethodFinderVisitor.java b/src/main/java/org/checkerframework/specimin/TargetMethodFinderVisitor.java
@@ -180,7 +180,6 @@ public Visitable visit(MethodDeclaration method, Void p) {
     // TODO: test this with annotations
     String methodName =
         this.classFQName + "#" + methodDeclAsString.substring(methodDeclAsString.indexOf(' ') + 1);
-    System.out.println("We got this: " + methodName);
     // this method belongs to an anonymous class inside the target method
     if (insideTargetMethod) {
       ObjectCreationExpr parentExpression = (ObjectCreationExpr) method.getParentNode().get();