Merge pull request cryspen#873 from hacspec/core-fmt

Small PR to fix circularity in Core.Fmt.fsti
paulmure · Sep 3, 2024 · c707da1 · c707da1
2 parents fd62ddd + 318fdfc
commit c707da1
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/proof-libs/fstar/core/Core.Fmt.fsti b/proof-libs/fstar/core/Core.Fmt.fsti
@@ -7,9 +7,9 @@ type t_Result = Core.Result.t_Result unit t_Error
 
 val t_Formatter: Type0
 class t_Display t_Self = {
-  f_fmt_pre: t_Self -> Core.Fmt.t_Formatter -> bool;
-  f_fmt_post: t_Self -> Core.Fmt.t_Formatter -> (Core.Fmt.t_Formatter & Core.Result.t_Result Prims.unit Core.Fmt.t_Error) -> bool;
-  f_fmt: t_Self -> Core.Fmt.t_Formatter -> (Core.Fmt.t_Formatter & Core.Result.t_Result Prims.unit Core.Fmt.t_Error)
+  f_fmt_pre: t_Self -> t_Formatter -> bool;
+  f_fmt_post: t_Self -> t_Formatter -> (t_Formatter & Core.Result.t_Result Prims.unit t_Error) -> bool;
+  f_fmt: t_Self -> t_Formatter -> (t_Formatter & Core.Result.t_Result Prims.unit t_Error)
 }
 
 val t_Arguments: Type0