From 07e7a6b4eb0ecdc2af7ced2afada439d6f5070dc Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Tue, 10 May 2022 13:42:17 +0200
Subject: [PATCH] Text

---
 main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.ml b/main.ml
index 3b4b933..f982e23 100644
--- a/main.ml
+++ b/main.ml
@@ -148,7 +148,7 @@ let finalLam = !fill_holes [] in
     if (typecheck [] finalLam ty) then
         Printf.printf "Final proof :\n%s\n" (string_of_lam finalLam)
     else (
-        Printf.printf "Invalid proof constructed !\n";
+        Printf.printf "Invalid proof constructed!\n";
         Printf.printf "%s can't be typed with %s.\n" (string_of_lam finalLam) (string_of_ty ty);
         Printf.printf "The whole development team of pieuvre is sorry for the damage eventually done by this error.\n"
     )