diff --git a/ocaml/fstar-lib/generated/FStar_Errors_Raise.ml b/ocaml/fstar-lib/generated/FStar_Errors_Raise.ml
index 27519bde29f..325055d6586 100644
--- a/ocaml/fstar-lib/generated/FStar_Errors_Raise.ml
+++ b/ocaml/fstar-lib/generated/FStar_Errors_Raise.ml
@@ -15,6 +15,6 @@ let err_doc :
   'a . (FStar_Errors_Codes.raw_error * FStar_Errors_Msg.error_message) -> 'a
   = FStar_Errors.raise_err_doc
 let (ttd : FStar_Syntax_Syntax.term -> FStar_Pprint.document) =
-  FStar_Syntax_Print_Pretty.term_to_doc
+  FStar_Syntax_Print.pretty_term.FStar_Class_PP.pp
 let (str : Prims.string -> FStar_Pprint.document) =
   FStar_Pprint.doc_of_string
\ No newline at end of file
diff --git a/src/basic/FStar.Errors.Raise.fst b/src/basic/FStar.Errors.Raise.fst
index 7fed63432af..132ffcc3c9b 100644
--- a/src/basic/FStar.Errors.Raise.fst
+++ b/src/basic/FStar.Errors.Raise.fst
@@ -5,12 +5,12 @@ include FStar.Errors.Msg
 include FStar.Errors.Codes
 include FStar.Pprint
 module Range = FStar.Compiler.Range
-module SP = FStar.Syntax.Print.Pretty
+module SP = FStar.Syntax.Print
 
 let error     = raise_error
 let err       = raise_err
 let error_doc = raise_error_doc
 let err_doc   = raise_err_doc
 
-let ttd = SP.term_to_doc
+let ttd = SP.pretty_term.pp
 let str = Pprint.doc_of_string