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
     )