rename interpret_functor_intf to interpret_intf

zapashcanon · Jan 23, 2024 · 2864259 · 2864259
1 parent 1868418
commit 2864259
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 5 deletions.
diff --git a/src/dune b/src/dune
@@ -33,7 +33,7 @@
   int32
   int64
   interpret
-  interpret_functor_intf
+  interpret_intf
   lexer
   link
   link_env

diff --git a/src/interpret.ml b/src/interpret.ml
@@ -9,8 +9,8 @@ open Simplified
 
 let use_ite_for_select = true
 
-module Make (P : Interpret_functor_intf.P) :
-  Interpret_functor_intf.S
+module Make (P : Interpret_intf.P) :
+  Interpret_intf.S
     with type 'a choice := 'a P.Choice.t
      and type module_to_run := P.Module_to_run.t
      and type thread := P.thread

diff --git a/src/interpret_functor_intf.ml → src/interpret_intf.ml b/src/interpret_functor_intf.ml → src/interpret_intf.ml
diff --git a/src/symbolic.ml b/src/symbolic.ml
@@ -257,7 +257,7 @@ module P = struct
   end
 end
 
-module P' : Interpret_functor_intf.P = P
+module P' : Interpret_intf.P = P
 
 let convert_module_to_run (m : 'f Link.module_to_run) =
   P.Module_to_run.{ modul = m.modul; env = m.env; to_run = m.to_run }
diff --git a/src/symbolic_memory.ml b/src/symbolic_memory.ml
@@ -1,7 +1,6 @@
 (* SPDX-License-Identifier: AGPL-3.0-or-later *)
 (* Copyright © 2021 Léo Andrès *)
 (* Copyright © 2021 Pierre Chambart *)
-module Intf = Interpret_functor_intf
 module Value = Symbolic_value.S
 
 (* TODO: use Syntax module *)