diff options
| author | Pierre-Marie Pédrot | 2017-08-29 15:19:30 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-29 15:19:30 +0200 |
| commit | f6154c8a086faee725b4f41fb4b2586d7cb6c51d (patch) | |
| tree | a0a1014646eb817b765b8262980f1bd06a8b2e0c /src/tac2expr.mli | |
| parent | 9f79d601c0863d5144fc07c5cea0e03ef41d244b (diff) | |
Removing dead code for handling of array litterals.
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 |