19 lines
755 B
Diff
19 lines
755 B
Diff
--- jc/jc_annot_inference.ml.orig 2018-01-23 03:07:35.000000000 -0700
|
|
+++ jc/jc_annot_inference.ml 2018-02-10 16:03:04.338379961 -0700
|
|
@@ -212,14 +212,14 @@ let name_of_term t =
|
|
Format.fprintf str_formatter "%a" Jc_output.term t;
|
|
let s = Format.flush_str_formatter () in
|
|
let s = filter_alphanumeric s in
|
|
- "T" ^ unique_term_name t s
|
|
+ "T" ^ unique_term_name t (Bytes.to_string s)
|
|
|
|
let name_of_assertion a =
|
|
ignore (Format.flush_str_formatter ());
|
|
Format.fprintf str_formatter "%a" Jc_output.assertion a;
|
|
let s = Format.flush_str_formatter () in
|
|
let s = filter_alphanumeric s in
|
|
- "A" ^ unique_assertion_name a s
|
|
+ "A" ^ unique_assertion_name a (Bytes.to_string s)
|
|
|
|
(* support of <new> (Nicolas) *)
|
|
let rec destruct_alloc t =
|