From b88e61c85930aa5d07e1e41fdd4cf1e2545d3b4e Mon Sep 17 00:00:00 2001
From: mrmr1993 <mr_1993@hotmail.co.uk>
Date: Mon, 4 Dec 2023 21:40:36 +0000
Subject: [PATCH] Reintroduce comment

---
 kimchi/src/circuits/lookup/tables/mod.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/kimchi/src/circuits/lookup/tables/mod.rs b/kimchi/src/circuits/lookup/tables/mod.rs
index 0c049f3e59..dc5bf3febd 100644
--- a/kimchi/src/circuits/lookup/tables/mod.rs
+++ b/kimchi/src/circuits/lookup/tables/mod.rs
@@ -5,6 +5,9 @@ use serde::{Deserialize, Serialize};
 pub mod range_check;
 pub mod xor;
 
+// If you add new tables, update ../../../../../book/src/kimchi/lookup.md
+// accordingly
+
 //~ spec:startcode
 /// The table ID associated with the XOR lookup table.
 pub const XOR_TABLE_ID: i32 = 0;