From 4c5f635769811be7d5f8b39f699b76ea51388cd4 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 8 Dec 2016 09:10:39 +0100
Subject: Merging GTacTuple and GTacCst nodes.

---
 tac2expr.mli | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'tac2expr.mli')

diff --git a/tac2expr.mli b/tac2expr.mli
index 7a2c684fbc..1fac5a2315 100644
--- a/tac2expr.mli
+++ b/tac2expr.mli
@@ -101,9 +101,8 @@ type glb_tacexpr =
 | GTacFun of Name.t list * glb_tacexpr
 | GTacApp of glb_tacexpr * glb_tacexpr list
 | GTacLet of rec_flag * (Name.t * glb_tacexpr) list * glb_tacexpr
-| GTacTup of glb_tacexpr list
 | GTacArr of glb_tacexpr list
-| GTacCst of type_constant * int * glb_tacexpr list
+| GTacCst of case_info * int * glb_tacexpr list
 | GTacCse of glb_tacexpr * case_info * glb_tacexpr array * (Name.t array * glb_tacexpr) array
 | GTacPrj of type_constant * glb_tacexpr * int
 | GTacSet of type_constant * glb_tacexpr * int * glb_tacexpr
-- 
cgit v1.2.3