From d15da6c95880ce097d2e769a80c03a74ba10b90c Mon Sep 17 00:00:00 2001 From: Adrien Vannson Date: Tue, 17 May 2022 10:40:27 +0200 Subject: [PATCH] Add space --- pieuvre.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" ;;