Add an option to allow the presence of bottom values below borrows

1 files changed, 4 insertions, 0 deletions

diff --git a/src/Print.ml b/src/Print.ml
index db0b325a..d19e03e5 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -1138,6 +1138,10 @@ module EvalCtxCfimAst = struct
     let fmt = PC.eval_ctx_to_ctx_formatter ctx in
     PV.aloan_content_to_string fmt lc
 
+  let aproj_to_string (ctx : C.eval_ctx) (p : V.aproj) : string =
+    let fmt = PC.eval_ctx_to_ctx_formatter ctx in
+    PV.aproj_to_string fmt p
+
   let symbolic_value_to_string (ctx : C.eval_ctx) (sv : V.symbolic_value) :
       string =
     let fmt = PC.eval_ctx_to_ctx_formatter ctx in