From b168161b4f3e22551cabd1d6007db52b0dda05da Mon Sep 17 00:00:00 2001
From: Benjamin Loison <Benjamin_Loison@users.noreply.gitea.lemnoslife.com>
Date: Tue, 3 Jan 2023 23:23:18 +0100
Subject: [PATCH] Correct boolean inputs

---
 src/cprint.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cprint.ml b/src/cprint.ml
index 770d07c..9a31469 100644
--- a/src/cprint.ml
+++ b/src/cprint.ml
@@ -362,7 +362,7 @@ let cp_main_fn fmt (prog, sts) =
           else Format.fprintf fmt "%s%a")
         (match h with
         | IVar _ -> "%d"
-        | BVar _ -> "%hd"
+        | BVar _ -> "%c"
         | RVar _ -> "%lf")
         cp_scanf_str (true, t)
     in