Merge pull request #3435 from mtzguido/misc

Misc fix
FStarLang · Sep 4, 2024 · a4c6ba1 · a4c6ba1
2 parents 7400bdd + bba2850
commit a4c6ba1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Errors_Raise.ml b/ocaml/fstar-lib/generated/FStar_Errors_Raise.ml
diff --git 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