diff --git a/src/ecCoreFol.ml b/src/ecCoreFol.ml
index 9f57919ae6..38314e982c 100644
--- 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
index f9c274d8f0..1a1261e24a 100644
--- 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;