From 0a14d556d96572df32a4fb99c7a6e4f67d615291 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 18 Mar 2021 11:42:51 -0400
Subject: [PATCH] style

---
 src/smtlib/Form.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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