diff --git a/structs.ml b/structs.ml
index 5b14ed0..d789846 100644
--- a/structs.ml
+++ b/structs.ml
@@ -11,16 +11,16 @@ let tvarRegex = Str.regexp "^([A-Z]+)([0-9]*)$";;
 
 (* Type complexe *)
 type ty =
-    | TSimple of var_type
-    | TImpl of ty * ty
-    | TFalse;;
+  | TSimple of var_type
+  | TImpl of ty * ty
+  | TFalse;;
 
 (* λ-terme *)
 type lam =
-    | LFun of var_lambda * ty * lam
-    | LApp of lam * lam
-    | LVar of var_lambda
-    | LExf of lam * ty;;
+  | LFun of var_lambda * ty * lam
+  | LApp of lam * lam
+  | LVar of var_lambda
+  | LExf of lam * ty;;
 
 (* Environnement de typage *)
 type gam = (var_type * ty) list;;