diff --git a/src/text_to_binary/rewrite.ml b/src/text_to_binary/rewrite.ml index 20a3b111a..6020b6f44 100644 --- a/src/text_to_binary/rewrite.ml +++ b/src/text_to_binary/rewrite.ml @@ -538,10 +538,10 @@ let modul (modul : Assigned.t) : Binary.modul Result.t = let* types = rewrite_named (rewrite_types modul) modul.typ in let* start = match modul.start with - | None -> None + | None -> Ok None | Some id -> let (Raw id) = find func id in - Some id + Ok (Some id) in let modul_without_annots : Binary.modul =