From 87dde18516223ebb02319832c17c3bfffbf48a4a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Diogo=20Duarte?= <joao@diogoduarte.pt>
Date: Mon, 28 Oct 2024 18:04:11 +0000
Subject: [PATCH] Removed useless new line

---
 compiler/src/toCL.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/compiler/src/toCL.ml b/compiler/src/toCL.ml
index c41e69db3..9fe292f44 100644
--- a/compiler/src/toCL.ml
+++ b/compiler/src/toCL.ml
@@ -623,7 +623,6 @@ module I (S:S): I = struct
          | _ -> !> v
       end
     | Pabstract ({name="b2i"}, [v]) -> !> v
-
     | Pabstract ({name="mon"}, [c;a;b]) ->
       let c = get_const c in
       let v =