remove OS.format

project-everest · Dec 5, 2023 · ad86e43 · ad86e43
1 parent da0bff7
commit ad86e43
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 7 deletions.
diff --git a/src/3d/OS.fsti b/src/3d/OS.fsti
@@ -31,7 +31,4 @@ val write_witness_to_file: list int -> string -> FStar.All.ML unit
 
 (* Moved here to break dependency cycle *)
 
-val int_of_string (x:string) : FStar.All.ML int
-
-
-val format (fmt:string) (args:list string) : FStar.All.ML string
+val int_of_string (x:string) : FStar.All.ML int
diff --git a/src/3d/ocaml/OS.ml b/src/3d/ocaml/OS.ml
@@ -130,6 +130,4 @@ let write_witness_to_file w filename =
       w
   )
 
-let int_of_string x = Z.of_string x
-
-let format fmt args = FStar_Compiler_Util.format fmt args
+let int_of_string x = Z.of_string x