Add newline back for ocamldoc

Co-authored-by: Simmo Saan <[email protected]>
goblint · Dec 7, 2023 · 029c1e9 · 029c1e9
1 parent efa2394
commit 029c1e9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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