From 38a6727f4493a9b013ea6c6b26610ffc3b5386cd Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 14 Jan 2022 11:35:04 -0500
Subject: [PATCH] udpate test

---
 doc/guide.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/guide.md b/doc/guide.md
index 6a4fa190..10f319cf 100644
--- a/doc/guide.md
+++ b/doc/guide.md
@@ -83,10 +83,13 @@ module Sidekick_base_solver :
     module Solver : sig ... end
     module Th_data : sig ... end
     module Th_bool : sig ... end
+    module Gensym : sig ... end
     module Th_lra : sig ... end
+    module Th_lia : sig ... end
     val th_bool : Solver.theory
     val th_data : Solver.theory
     val th_lra : Solver.theory
+    val th_lia : Solver.theory
   end
 ```