diff --git a/pieuvre.ml b/pieuvre.ml
index 419db2a..1e8c8c2 100644
--- a/pieuvre.ml
+++ b/pieuvre.ml
@@ -18,7 +18,7 @@ let rec string_of_ty (t: ty) : string =
         | TSimple(tn) -> tn
         | TImpl(t1,t2) -> "(" ^ (string_of_ty t1) ^ " -> " ^ (string_of_ty t2) ^ ")"
         | TAnd(t1,t2) -> "(" ^ (string_of_ty t1) ^ " /\\ " ^ (string_of_ty t2) ^ ")"
-        | TOr(t1,t2) -> "(" ^ (string_of_ty t1) ^  "\\/ " ^ (string_of_ty t2) ^ ")"
+        | TOr(t1,t2) -> "(" ^ (string_of_ty t1) ^  " \\/ " ^ (string_of_ty t2) ^ ")"
         | TFalse -> "False"
         | TTrue -> "True"
 ;;