rename: Gzip -> GZip

hcarty · Nov 2, 2008 · e8691a8 · e8691a8
1 parent caac606
commit e8691a8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/main/nothreads/batteries.ml b/src/main/nothreads/batteries.ml
@@ -215,7 +215,7 @@ module System      = struct
 
   (** {2 Compression/Decompression} *)
   module Compress      = Libs.Common.Compress
-  module Gzip          = Libs.GZip
+  module GZip          = Libs.GZip
 
   (** {1 Actual operating system calls}*)
 

diff --git a/src/main/threads/batteries.ml b/src/main/threads/batteries.ml
@@ -219,7 +219,7 @@ module System      = struct
 
   (** {2 Compression/Decompression} *)
   module Compress      = Libs.Common.Compress
-  module Gzip          = Libs.GZip
+  module GZip          = Libs.GZip
 
   (** {1 Actual operating system calls}*)