From 3edac649118dff4a48d7218dc31a727f13537fea Mon Sep 17 00:00:00 2001 From: Reinier Zwitserloot Date: Sun, 15 Mar 2020 03:04:03 +0100 Subject: [fixes #2386] [checkerframework] Now generating checkerframework `@Pure` instead of `@SideEffectFree` where appropriate. --- test/transform/resource/before/CheckerFrameworkBuilder.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/transform/resource/before/CheckerFrameworkBuilder.java') diff --git a/test/transform/resource/before/CheckerFrameworkBuilder.java b/test/transform/resource/before/CheckerFrameworkBuilder.java index 4b501ab8..440b80e9 100644 --- a/test/transform/resource/before/CheckerFrameworkBuilder.java +++ b/test/transform/resource/before/CheckerFrameworkBuilder.java @@ -1,4 +1,4 @@ -//CONF: checkerframework = true +//CONF: checkerframework = 4.0 import java.util.List; import lombok.Builder; import lombok.Singular; -- cgit