Merge PR #9150: [doc] Enable Warning 50 [incorrect doc comment] and fix comments.

1 files changed, 2 insertions, 2 deletions

diff --git a/library/summary.mli b/library/summary.mli
index 7d91a79188..64222761ba 100644
--- a/library/summary.mli
+++ b/library/summary.mli
@@ -19,9 +19,9 @@ type marshallable =
 (** Types of global Coq states. The ['a] type should be pure and marshallable by
     the standard OCaml marshalling function. *)
 type 'a summary_declaration = {
-  (** freeze_function [true] is for marshalling to disk. 
-   *  e.g. lazy must be forced *)
   freeze_function : marshallable -> 'a;
+  (** freeze_function [true] is for marshalling to disk.
+   *  e.g. lazy must be forced *)
   unfreeze_function : 'a -> unit;
   init_function : unit -> unit }