From ccd506e38772985a2363777a1a1efb3026686667 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 10 Oct 2022 20:15:18 -0400
Subject: [PATCH] test

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

diff --git a/doc/guide.md b/doc/guide.md
index ff2419bd..34abb45a 100644
--- a/doc/guide.md
+++ b/doc/guide.md
@@ -129,7 +129,7 @@ Let's look at some basic terms we can build immediately.
 - : Term.term = false
 
 # Term.eq tstore (Term.true_ tstore) (Term.false_ tstore);;
-- : Term.term = (= Bool true false)
+- : Term.term = (= Bool false true)
 ```
 
 Cool. Similarly, we need to manipulate types.