Fix typo in UG

bmw-software-engineering · Nov 8, 2023 · adc0cf4 · adc0cf4
1 parent 17274e8
commit adc0cf4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/documentation/linter.md b/documentation/linter.md
@@ -289,7 +289,7 @@ type T {
 }
 
 checks T {
-  len(x) >= 0 implies x[3] > 0, "too small"
+  len(x) >= 3 implies x[3] > 0, "too small"
 }
 ```