Update comment for Double

ocaml · Jun 3, 2021 · d7682b6 · d7682b6
1 parent a83344d
commit d7682b6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/asmcomp/cmm.mli b/asmcomp/cmm.mli
@@ -135,7 +135,8 @@ type memory_chunk =
   | Word_int                           (* integer or pointer outside heap *)
   | Word_val                           (* pointer inside heap or encoded int *)
   | Single
-  | Double                             (* 64-bit-aligned 64-bit float *)
+  | Double                             (* word-aligned 64-bit float
+                                          see PR#10433 *)
 
 and operation =
     Capply of machtype