From 3c35d2f40ef70bd279e4486b0700abf46560d3a8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rafael=20S=C3=A1=20Menezes?= <rafael.sa.menezes@outlook.com>
Date: Thu, 30 Jan 2025 21:02:03 +0000
Subject: [PATCH] Update SUMMARY.md

---
 doc/src/SUMMARY.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/src/SUMMARY.md b/doc/src/SUMMARY.md
index 8073d12bf1f66..86b93dea01dba 100644
--- 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)
 
 ---