From 83dc064fa0d6b56d5e7a2b0cfaf73d9689e522c1 Mon Sep 17 00:00:00 2001
From: ploc <ploc@garoche.net>
Date: Fri, 13 Jul 2018 11:05:38 -0700
Subject: [PATCH] Byte/String bug reappeared
---
src/backends/Horn/horn_backend.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/backends/Horn/horn_backend.ml b/src/backends/Horn/horn_backend.ml
index 554f2097..e2501003 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
--
GitLab