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;