From 206605a707492dff7833a2dfd76c9eb13b69dfcf Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Tue, 22 Jun 2010 13:37:08 +0200
Subject: [PATCH] Added missing boolean case in MiniLS' print_type.

---
 compiler/minils/sequential/obc.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/minils/sequential/obc.ml b/compiler/minils/sequential/obc.ml
index 7b97fb4..2030835 100644
--- a/compiler/minils/sequential/obc.ml
+++ b/compiler/minils/sequential/obc.ml
@@ -182,6 +182,7 @@ struct
   let rec print_type ff = function
     | Tint    -> fprintf ff "int"
     | Tfloat  -> fprintf ff "float"
+    | Tbool   -> fprintf ff "bool"
     | Tid(id) -> print_longname ff id
     | Tarray(ty, n) -> 
 	print_type ff ty;