Add goto-transcoder.md into summary (#243)

The goto-transcoder is not appearing in the book pages. This should fix it.
model-checking · Feb 4, 2025 · 5699f3c · 5699f3c
1 parent 566cd13
commit 5699f3c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/src/SUMMARY.md b/doc/src/SUMMARY.md
@@ -8,6 +8,7 @@
 
 - [Verification Tools](./tools.md)
   - [Kani](./tools/kani.md)
+  - [GOTO Transcoder](./tools/goto-transcoder.md)
 
 ---