We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 85842ab commit 0549f00Copy full SHA for 0549f00
1 file changed
checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallInference.java
@@ -86,10 +86,6 @@
86
*
87
* <p>See {@link ResourceLeakChecker#ENABLE_WPI_FOR_RLC} for an explanation of the meaning of the
88
* flags {@code -Ainfer} and {@code -AenableWpiForRlc}.
89
- *
90
- * @see <a
91
- * href="https://checkerframework.org/manual/#resource-leak-checker-inference-algo">Automatic
92
- * Inference of Resource Leak Specifications</a>
93
*/
94
public class MustCallInference {
95
0 commit comments