diff --git a/src/plugins/aorai/tests/Aorai_test.ml b/src/plugins/aorai/tests/Aorai_test.ml
index 54d04d63939431ae669439b4b29cb5a3c8bc9f32..2e55921a891feb5ab63598f1d24a2778f5210587 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 ]