[Pkg-ocaml-maint-commits] r1448 - trunk/tools/dh_ocaml
Stefano Zacchiroli
zack@costa.debian.org
Sat, 09 Jul 2005 17:26:43 +0000
Author: zack
Date: 2005-07-09 17:26:42 +0000 (Sat, 09 Jul 2005)
New Revision: 1448
Modified:
trunk/tools/dh_ocaml/ocaml-md5sums.ml.in
Log:
fixed typo (compile time error)
Modified: trunk/tools/dh_ocaml/ocaml-md5sums.ml.in
===================================================================
--- trunk/tools/dh_ocaml/ocaml-md5sums.ml.in 2005-07-09 17:13:24 UTC (rev 1447)
+++ trunk/tools/dh_ocaml/ocaml-md5sums.ml.in 2005-07-09 17:26:42 UTC (rev 1448)
@@ -271,7 +271,7 @@
with End_of_file ->
Unix.closedir dir;
close_out registry;
- if is_empty registry_file Sys.remove registry_file
+ if is_empty registry_file then Sys.remove registry_file
(** {2 Main} *)