Add constructor

typetools · Jan 4, 2023 · dbbb18d · dbbb18d
1 parent bd4223a
commit dbbb18d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakChecker.java b/checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakChecker.java
@@ -27,6 +27,9 @@
 @StubFiles("IOUtils.astub")
 public class ResourceLeakChecker extends CalledMethodsChecker {
 
+  /** Creates a ResourceLeakChecker. */
+  public ResourceLeakChecker() {}
+
   /**
    * Command-line option for counting how many must-call obligations were checked by the Resource
    * Leak Checker, and emitting the number after processing all files. Used for generating tables