From 1632c1a619f42239cd19ad5b9b6f61c296dbe6e8 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 2 Feb 2019 19:28:12 -0600
Subject: [PATCH] doc: check something in the readme

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 3f7f0168..e0ef842f 100644
--- a/README.md
+++ b/README.md
@@ -78,6 +78,8 @@ We can try and check the satisfiability of some clauses — here, the clause `a
 will check the satisfiability of the current set of clauses, here "Sat".
 
 ```ocaml
+# a <> b;;
+- : bool = true
 # Sat.assume solver [[a; b]] ();;
 - : unit = ()
 # let res = Sat.solve solver;;