add >0 constraint to segment_arena

starkware-libs · Nov 12, 2023 · 6c9ca66 · 6c9ca66
1 parent 810ef5e
commit 6c9ca66
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/api/starknet_api_openrpc.json b/api/starknet_api_openrpc.json
@@ -3807,7 +3807,10 @@
                     "segment_arena_builtin": {
                         "title": "Segment arena",
                         "description": "The number of accesses to the segment arena",
-                        "type": "integer"
+                        "type": "integer",
+                        "not": {
+                            "const": 0
+                        }
                     }
                 },
                 "required": [