From 156af6e8033f87ff0a37c5bf0ffc5659bb537c90 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 19 Sep 2021 12:55:00 -0400
Subject: [PATCH] update doc

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

diff --git a/doc/guide.md b/doc/guide.md
index c6102a80..5930b8c1 100644
--- a/doc/guide.md
+++ b/doc/guide.md
@@ -84,9 +84,11 @@ module Sidekick_base_solver :
     module Th_data : sig ... end
     module Th_bool : sig ... end
     module Th_lra : sig ... end
+    module Th_dyn_trans : sig ... end
     val th_bool : Solver.theory
     val th_data : Solver.theory
     val th_lra : Solver.theory
+    val th_dyn_trans : Solver.theory
   end
 ```