From e76eadcc1285cccf59c0178de525fb9279849aee Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Thu, 17 Oct 2024 21:49:54 -0700
Subject: [PATCH] FStar.Stubs.Pprint -> FStar.Pprint

https://github.com/FStarLang/FStar/pull/3582
---
 lib/steel/Steel.Effect.Common.fsti | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/steel/Steel.Effect.Common.fsti b/lib/steel/Steel.Effect.Common.fsti
index fc136abbe..6f1f6a1d0 100644
--- a/lib/steel/Steel.Effect.Common.fsti
+++ b/lib/steel/Steel.Effect.Common.fsti
@@ -2064,7 +2064,7 @@ let canon_l_r (use_smt:bool)
         apply_lemma (`solve_implies_true)
       with
       | TacticFailure (msg, rng_opt) ->
-        let open FStar.Stubs.Pprint in
+        let open FStar.Pprint in
         fail_doc_at ([doc_of_string "Cannot unify pr with true"] @ msg) rng_opt
       | e -> raise e
     )