Change whitespace

typetools · Jun 22, 2023 · 0afc27f · 0afc27f
1 parent 462a13c
commit 0afc27f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/checker/src/main/java/org/checkerframework/checker/nullness/NullnessValue.java b/checker/src/main/java/org/checkerframework/checker/nullness/NullnessValue.java
@@ -92,7 +92,7 @@ public String toStringSimple() {
         + AnnotationUtils.toStringSimple(annotations)
         + ", "
         + TypesUtils.simpleTypeName(underlyingType)
-        + ", poly nn/n="
+        + ", poly nn/n = "
         + (isPolyNullNonNull ? 't' : 'f')
         + '/'
         + (isPolyNullNull ? 't' : 'f')