diff options
Diffstat (limited to 'tac2expr.mli')
| -rw-r--r-- | tac2expr.mli | 3 |
1 files changed, 1 insertions, 2 deletions
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 |