From 029c1e93daa47624cce2dd94d4ed2c600ed1cc07 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Thu, 7 Dec 2023 11:22:05 +0100
Subject: [PATCH] Add newline back for ocamldoc

Co-authored-by: Simmo Saan <simmo.saan@gmail.com>
---
 src/cdomains/apron/relationDomain.apron.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/cdomains/apron/relationDomain.apron.ml b/src/cdomains/apron/relationDomain.apron.ml
index aca2346820..48720b0382 100644
--- a/src/cdomains/apron/relationDomain.apron.ml
+++ b/src/cdomains/apron/relationDomain.apron.ml
@@ -1,6 +1,7 @@
 (** Signatures for relational value domains.
 
     See {!ApronDomain} and {!AffineEqualityDomain}. *)
+
 open GobApron
 open Batteries
 open GoblintCil