From f6154c8a086faee725b4f41fb4b2586d7cb6c51d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 29 Aug 2017 15:19:30 +0200
Subject: Removing dead code for handling of array litterals.

---
 src/tac2env.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tac2env.ml')

diff --git a/src/tac2env.ml b/src/tac2env.ml
index 59344e336b..dd8a07ffc6 100644
--- a/src/tac2env.ml
+++ b/src/tac2env.ml
@@ -65,7 +65,7 @@ let rec eval_pure = function
 | GTacCst (_, n, []) -> ValInt n
 | GTacCst (_, n, el) -> ValBlk (n, Array.map_of_list eval_pure el)
 | GTacOpn (kn, el) -> ValOpn (kn, Array.map_of_list eval_pure el)
-| GTacAtm (AtmStr _) | GTacArr _ | GTacLet _ | GTacVar _ | GTacSet _
+| GTacAtm (AtmStr _) | GTacLet _ | GTacVar _ | GTacSet _
 | GTacApp _ | GTacCse _ | GTacPrj _ | GTacPrm _ | GTacExt _ | GTacWth _ ->
   anomaly (Pp.str "Term is not a syntactical value")
 
-- 
cgit v1.2.3