FStar.Stubs.Pprint -> FStar.Pprint

FStarLang/FStar#3582
mtzguido · Oct 18, 2024 · e76eadc · e76eadc
1 parent 0f3e79a
commit e76eadc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
     )