note to sync fortuna and pfortuna

hannesm · hannesm · commit 8c5d585d0b8a · 2024-06-09T14:28:47.000+02:00
diff --git a/rng/fortuna.ml b/rng/fortuna.ml
@@ -1,3 +1,6 @@
+(* NOTE: when modifying this file, please also check whether
+   rng/miou/pfortuna.ml needs to be updated. *)
+
 open Mirage_crypto
 open Mirage_crypto.Uncommon
 
diff --git a/rng/miou/pfortuna.ml b/rng/miou/pfortuna.ml
@@ -10,7 +10,10 @@
        let rng = Mirage_crypto_rng_miou_unix.(initialize (module Pfortuna)) in
        ...
        Mirage_crypto_rng_miou_unix.kill rng
-   ]} *)
+   ]}
+
+   NOTE: when modifying this file, please also check whether rng/fortuna.ml
+   needs to be updated. *)
 
 open Mirage_crypto
 open Mirage_crypto.Uncommon
