From d8e44d7e8e043eb5559ff7228f2bd6c4ecbce3f0 Mon Sep 17 00:00:00 2001 From: Paweł Dybiec Date: Sun, 9 Dec 2018 17:49:20 +0100 Subject: Initial code for translator --- source/xi_lib/analysis_domain.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'source/xi_lib/analysis_domain.ml') diff --git a/source/xi_lib/analysis_domain.ml b/source/xi_lib/analysis_domain.ml index 9f49a3e..db124e0 100644 --- a/source/xi_lib/analysis_domain.ml +++ b/source/xi_lib/analysis_domain.ml @@ -103,7 +103,7 @@ module ConstantFolding = struct | Some a -> Ir_utils.string_of_expr a let string_of_domain dom = - let f (k,v) = Format.sprintf "%s=%s" (Ir.string_of_reg k) (string_of_el v) in + let f (k,v) = Format.sprintf "%s=%s" (Ir_utils.string_of_reg k) (string_of_el v) in let seq = Ir.RegMap.to_seq dom in let seq = Seq.map f seq in String.concat " " @@ List.of_seq seq @@ -132,4 +132,4 @@ module ReachabilityAnalysis = struct type table = Ir.LabelSet.t Analysis.BlockKnowledge.table -end \ No newline at end of file +end -- cgit 1.4.1