missing mention of block rules

2024-09-11 06:15:30 +03:00 · 2019-12-19 09:47:52 +01:00 · 2019-12-19 09:47:52 +01:00 · 0536979185
commit 0536979185
parent 5d64208907
1 changed files with 1 additions and 0 deletions
--- a/DESIGN.md
+++ b/DESIGN.md
@ -319,6 +319,7 @@ Block {
  index: u32,
  symbols: SymbolTable,
  facts: [Fact],
+  rules: [Rule],
  caveats: [Rule]
 }
 ```