From 215627b6efcb37a5d0b98307cf5708df5103f7cf Mon Sep 17 00:00:00 2001
From: bertot
Date: Mon, 19 Jan 2004 13:28:22 +0000
Subject: 1.20

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5217 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/ascent.mli | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/contrib/interface/ascent.mli b/contrib/interface/ascent.mli
index 5132c94aac..4647c0c8bc 100644
--- a/contrib/interface/ascent.mli
+++ b/contrib/interface/ascent.mli
@@ -240,10 +240,12 @@ and ct_FORMULA =
   | CT_if of ct_FORMULA_OPT * ct_FORMULA * ct_FORMULA * ct_FORMULA
   | CT_inductive_let of ct_FORMULA_OPT * ct_ID_OPT_NE_LIST * ct_FORMULA * ct_FORMULA
   | CT_lambdac of ct_BINDER_NE_LIST * ct_FORMULA
+  | CT_let_tuple of ct_ID_OPT_NE_LIST * ct_ID_OPT * ct_FORMULA_OPT * ct_FORMULA * ct_FORMULA
   | CT_letin of ct_DEF * ct_FORMULA
   | CT_notation of ct_STRING * ct_FORMULA_LIST
   | CT_num_encapsulator of ct_NUM_TYPE * ct_FORMULA
   | CT_prodc of ct_BINDER_NE_LIST * ct_FORMULA
+  | CT_proj of ct_FORMULA * ct_FORMULA_NE_LIST
 and ct_FORMULA_LIST =
     CT_formula_list of ct_FORMULA list
 and ct_FORMULA_NE_LIST =
-- 
cgit v1.2.3