diff options
Diffstat (limited to 'typing/env.ml')
| -rw-r--r-- | typing/env.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/env.ml b/typing/env.ml index ac221750bc..ad1d09c373 100644 --- a/typing/env.ml +++ b/typing/env.ml @@ -1194,7 +1194,8 @@ let save_signature_with_imports sg modname filename imports = ps_filename = filename; ps_flags = cmi.cmi_flags } in Hashtbl.add persistent_structures modname (Some ps); - Consistbl.set crc_units modname crc filename + Consistbl.set crc_units modname crc filename; + sg with exn -> close_out oc; remove_file filename; |