1 files changed, 0 insertions, 17 deletions
diff --git a/backend/CMtypecheck.ml b/backend/CMtypecheck.ml
index 72bf9cb4..cd0d25dc 100644
--- a/backend/CMtypecheck.ml
+++ b/backend/CMtypecheck.ml
@@ -18,11 +18,9 @@
 (* FIXME: proper support for type Tsingle *)
 
 open Printf
-open Datatypes
 open Camlcoq
 open AST
 open PrintAST
-open Integers
 open Cminor
 
 exception Error of string
@@ -74,21 +72,6 @@ let type_var env id =
   with Not_found ->
     raise (Error (sprintf "Unbound variable %s\n" (extern_atom id)))
 
-let type_letvar env n =
-  let n = Nat.to_int n in
-  try
-    List.nth env n
-  with Not_found ->
-    raise (Error (sprintf "Unbound let variable #%d\n" n))
-
-let name_of_comparison = function
-  | Ceq -> "eq"
-  | Cne -> "ne"
-  | Clt -> "lt"
-  | Cle -> "le"
-  | Cgt -> "gt"
-  | Cge -> "ge"
-
 let type_constant = function
   | Ointconst _ -> tint
   | Ofloatconst _ -> tfloat