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/tac2interp.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/tac2interp.ml')

diff --git a/src/tac2interp.ml b/src/tac2interp.ml
index 3e1a048d29..3490b1a2a8 100644
--- a/src/tac2interp.ml
+++ b/src/tac2interp.ml
@@ -79,9 +79,6 @@ let rec interp ist = function
   let iter (_, e) = e.clos_env <- ist in
   let () = List.iter iter fixs in
   interp ist e
-| GTacArr el ->
-  Proofview.Monad.List.map (fun e -> interp ist e) el >>= fun el ->
-  return (ValBlk (0, Array.of_list el))
 | GTacCst (_, n, []) -> return (ValInt n)
 | GTacCst (_, n, el) ->
   Proofview.Monad.List.map (fun e -> interp ist e) el >>= fun el ->
-- 
cgit v1.2.3