Restore linebreak for odoc

goblint · May 20, 2024 · dc2a9c3 · dc2a9c3
1 parent 3eff22f
commit dc2a9c3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/cdomain/value/cdomains/addressDomain_intf.ml b/src/cdomain/value/cdomains/addressDomain_intf.ml
@@ -80,6 +80,7 @@ sig
 
     val semantic_equal: t -> t -> bool option
     (** Check semantic equality of two addresses.
+
         @return [Some true] if definitely equal, [Some false] if definitely not equal, [None] if unknown. *)
 
     val amenable_to_meet: t -> t -> bool