diff --git a/src/smtlib/Form.ml b/src/smtlib/Form.ml
index d9204332..6197d43c 100644
--- a/src/smtlib/Form.ml
+++ b/src/smtlib/Form.ml
@@ -142,7 +142,7 @@ let distinct_l tst l =
   | l ->
     (* turn into [and_{i<j} t_i != t_j] *)
     let cs =
-      CCList.diagonal l |> List.map (fun (a,b) -> neq tst a b) 
+      CCList.diagonal l |> List.map (fun (a,b) -> neq tst a b)
     in
     and_l tst cs