From 7d7027ce6e06f391612078d441b878dbd1558c20 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 22 Jan 2021 12:12:17 +0100
Subject: [PATCH] [aorai] fix pretty-printing of intermediate file in
Aorai_test
---
src/plugins/aorai/tests/Aorai_test.ml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 54d04d63939..2e55921a891 100644
--- a/src/plugins/aorai/tests/Aorai_test.ml
+++ b/src/plugins/aorai/tests/Aorai_test.ml
@@ -92,7 +92,9 @@ let extend () =
in
let chan = open_out tmpfile in
let fmt = Format.formatter_of_out_channel chan in
- File.pretty_ast ~prj:(Project.from_unique_name "aorai") ~fmt ();
+ let aorai_prj = Project.from_unique_name "aorai" in
+ Project.on aorai_prj Kernel.PrintLibc.on ();
+ File.pretty_ast ~prj:aorai_prj ~fmt ();
close_out chan;
let selection =
State_selection.of_list [ InternalWpShare.self; ProveAuxSpec.self ]
--
GitLab