From 85c850d464c5df2e1aa11c6dbaebba2b31a82e49 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 14 Jul 2022 22:10:14 -0400
Subject: [PATCH] update tests after removal of lia

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

diff --git a/doc/guide.md b/doc/guide.md
index 63b6ef9d..e9c7c225 100644
--- a/doc/guide.md
+++ b/doc/guide.md
@@ -85,11 +85,9 @@ module Sidekick_base_solver :
     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
 ```