···225225 match !Persistent_signature.load ~allow_hidden ~unit_name:name with
226226 | Some psig -> psig
227227 | None ->
228228- Hashtbl.add persistent_structures name Missing;
228228+ if allow_hidden then Hashtbl.add persistent_structures name Missing;
229229 raise Not_found
230230 in
231231 add_import penv name;