From ae2c650a1ab91686c7a472ca9061b534e7a32170 Mon Sep 17 00:00:00 2001 From: ygrek Date: Mon, 8 Jul 2024 04:37:17 +0100 Subject: [PATCH] svg_converted: fix build (zlib2 split) --- tools/svg_converter.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tools/svg_converter.ml b/tools/svg_converter.ml index 8e3da0e57..9bba0930b 100644 --- a/tools/svg_converter.ml +++ b/tools/svg_converter.ml @@ -19,7 +19,6 @@ open Filename2 -open Zlib let load_svg file = Printf.printf "Converting file %s\n" file; @@ -29,7 +28,7 @@ let load_svg file = let buf = String.create len in really_input ic buf 0 len; close_in ic; - let bufz = compress_string buf in + let bufz = Zlib2.compress_string buf in let basename = basename file in let extension = last_extension basename in let dirname = String.sub file 0 (String.length file - String.length basename) in