From 88691354de3e9f780bf9dbfb158de9c498d267de Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Mon, 6 Sep 2010 14:45:24 +0200
Subject: [PATCH] Remove useless code

---
 compiler/heptagon/parsing/hept_scoping.ml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/compiler/heptagon/parsing/hept_scoping.ml b/compiler/heptagon/parsing/hept_scoping.ml
index d1cfe36..f3ca5dd 100644
--- a/compiler/heptagon/parsing/hept_scoping.ml
+++ b/compiler/heptagon/parsing/hept_scoping.ml
@@ -71,11 +71,6 @@ let add_const_var loc x env =
   else (* create a new id for this var and add it to the env *)
     NamesEnv.add x x env
 
-let rec build_pat loc env = function
-  | Evarpat x -> add_var loc x env
-  | Etuplepat l ->
-      List.fold_left (build_pat loc) env l
-
 let build_vd_list env l =
   let build_vd env vd =
     add_var vd.v_loc vd.v_name env