From 98f246db4ce1f8cc20abd0ee6c321d1d40b7ca85 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 18 Jul 2021 01:04:15 -0400
Subject: [PATCH] fix test

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

diff --git a/doc/guide.md b/doc/guide.md
index 0583941a..fdf1a504 100644
--- a/doc/guide.md
+++ b/doc/guide.md
@@ -103,7 +103,6 @@ for legibility:
 # #install_printer Solver.Atom.pp;;
 # #install_printer Solver.Model.pp;;
 # #install_printer Proof.pp_debug;;
-Proof.pp_debug has a wrong type for a printing function.
 ```
 
 ## First steps in solving