Removed two unused type declarations.

EasyCrypt · Nov 28, 2023 · 221c412 · 221c412
1 parent d43887b
commit 221c412
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/src/ecCoreFol.ml b/src/ecCoreFol.ml
@@ -5,8 +5,6 @@ open EcAst
 open EcTypes
 open EcCoreModules
 
-type memory = EcMemory.memory
-
 module BI = EcBigInt
 module Mp = EcPath.Mp
 module Sp = EcPath.Sp

diff --git a/src/ecMemory.ml b/src/ecMemory.ml
@@ -14,8 +14,6 @@ let mem_equal = EcAst.mem_equal
 (* -------------------------------------------------------------------- *)
 type proj_arg = EcAst.proj_arg
 
-type local_memtype = EcAst.local_memtype
-
 let mk_lmt lmt_name lmt_decl lmt_proj =
   { lmt_name;
     lmt_decl;