diff --git a/src/backends/Horn/horn_backend.ml b/src/backends/Horn/horn_backend.ml
index 554f2097e9c40c0bb4215470b2b339cb88002d12..e2501003d399681d76aa8c4239f38f242e7f1cb4 100644
--- a/src/backends/Horn/horn_backend.ml
+++ b/src/backends/Horn/horn_backend.ml
@@ -88,7 +88,7 @@ let print_dep fmt prog =
       let basename = (Options_management.name_dependency (local, s)) ^ ".smt2" in
       Log.report ~level:1 (fun fmt -> Format.fprintf fmt "@[<v 0> Horn Library %s@," basename);
       let horn = load_file basename in
-      fprintf fmt "@.%s@." (Bytes.to_string horn);
+      fprintf fmt "@.%s@." (horn);
     )
     dependencies