Fix incorrect example

The `&requires` in the example did not match the actual widths.
zeek · Jun 11, 2024 · 99581e0 · 99581e0
1 parent 26f29c8
commit 99581e0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/parser_structure_conditional_parsing.md b/src/parser_structure_conditional_parsing.md
@@ -9,7 +9,7 @@ met](https://docs.zeek.org/projects/spicy/en/latest/programming/parsing.html#con
 
 ```spicy
 type Integer = unit {
-    width: uint8 &requires=($$ != 0 && $$ < 8);
+    width: uint8 &requires=($$ != 0 && $$ < 4);
     u8 : uint8  if (self.width == 1);
     u16: uint16 if (self.width == 2);
     u32: uint32 if (self.width == 3);
@@ -22,7 +22,7 @@ statement](https://docs.zeek.org/projects/spicy/en/latest/programming/parsing.ht
 
 ```spicy
 type Integer = unit {
-    width: uint8 &requires=($$ != 0 && $$ < 8);
+    width: uint8 &requires=($$ != 0 && $$ < 4);
     switch (self.width) {
         1 -> u8: uint8;
         2 -> u16: uint16;