diff options
Diffstat (limited to 'src/tac2expr.mli')
| -rw-r--r-- | src/tac2expr.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tac2expr.mli b/src/tac2expr.mli index 0c9112d902..42203a32e5 100644 --- a/src/tac2expr.mli +++ b/src/tac2expr.mli @@ -126,7 +126,6 @@ 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 -| GTacArr of 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 |