cleanup

LPCIC · Oct 23, 2023 · 6311e2a · 6311e2a
1 parent bdcc5a0
commit 6311e2a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/API.ml b/src/API.ml
@@ -910,7 +910,7 @@ end
 
 module State = struct
   include ED.State
-  let empty_descriptor = ED.State.new_descriptor
+  let new_state_descriptor = ED.State.new_descriptor
 
   (* From now on, we pretend there is no difference between terms at
      compilation time and terms at execution time (in the API) *)

diff --git a/src/API.mli b/src/API.mli
@@ -740,7 +740,7 @@ end
    need to use. *)
 module State : sig
 
-  val empty_descriptor : unit -> Setup.state_descriptor
+  val new_state_descriptor : unit -> Setup.state_descriptor
 
   (** 'a MUST be purely functional, i.e. backtracking is implemented by using
    * an old binding for 'a.