diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-05-02 06:19:55 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2014-05-02 06:19:55 +0000 |
commit | 95104b392443a02c733c3354db7062761e5a1a9c (patch) | |
tree | 09c691c974516f85b1ac2086281b387004c775a9 /toplevel/expunge.ml | |
parent | 9baf42b72da71213f483e3cc3b9ed9088cdf76ff (diff) | |
download | ocaml-95104b392443a02c733c3354db7062761e5a1a9c.tar.gz |
revert commit 14719
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14723 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/expunge.ml')
-rw-r--r-- | toplevel/expunge.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/expunge.ml b/toplevel/expunge.ml index a893c60ddc..fa6fd7ca5a 100644 --- a/toplevel/expunge.ml +++ b/toplevel/expunge.ml @@ -65,7 +65,7 @@ let main () = let global_map = (input_value ic : Symtable.global_map) in output_value oc (expunge_map global_map) | "CRCS" -> - let crcs = (input_value ic : (string * Digest.t option) list) in + let crcs = (input_value ic : (string * Digest.t) list) in output_value oc (expunge_crcs crcs) | _ -> copy_file_chunk ic oc len |