diff options
Diffstat (limited to 'source/xi_lib/analysis_domain.ml')
-rw-r--r-- | source/xi_lib/analysis_domain.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |