From 342aba4426960cf190cd7737c925f5b7391f9bcd Mon Sep 17 00:00:00 2001
From: Benjamin Loison <benjamin.loison@orange.fr>
Date: Thu, 15 Dec 2022 16:08:22 +0100
Subject: [PATCH] Correct copy-pasted `int` and `bool` cases

---
 src/simulation.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/simulation.ml b/src/simulation.ml
index 716f133..e7ba3db 100644
--- a/src/simulation.ml
+++ b/src/simulation.ml
@@ -26,9 +26,9 @@ let pp_sim fmt ((sn, _): sim_node) =
     | SRVar (s, None) :: t ->
         Format.fprintf fmt "\t<%s : real> uninitialized yet.\n%a" s aux t
     | SIVar (s, Some i) :: t ->
-        Format.fprintf fmt "\t<%s : real> = %d\n%a" s i aux t
+        Format.fprintf fmt "\t<%s : int> = %d\n%a" s i aux t
     | SBVar (s, Some b) :: t ->
-        Format.fprintf fmt "\t<%s : real> = %s\n%a" s (Bool.to_string b) aux t
+        Format.fprintf fmt "\t<%s : bool> = %s\n%a" s (Bool.to_string b) aux t
     | SRVar (s, Some r) :: t ->
         Format.fprintf fmt "\t<%s : real> = %f\n%a" s r aux t
   in