From adc0cf448e8b4a933d6f2ee6916ad1cd2b5d0bb5 Mon Sep 17 00:00:00 2001
From: Florian Schanda <florian.schanda@bmw.de>
Date: Wed, 8 Nov 2023 15:50:50 +0100
Subject: [PATCH] Fix typo in UG

---
 documentation/linter.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/documentation/linter.md b/documentation/linter.md
index 79ee603d..4012cb97 100644
--- 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"
 }
 ```