diff options
| author | Pierre-Marie Pédrot | 2017-07-26 00:32:50 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-26 00:33:18 +0200 |
| commit | a3da80680400610ffe8d7de33d9ca1ee1106ae28 (patch) | |
| tree | ac3f731afff8fbdd34ae3031de29feb75c7e0753 /src | |
| parent | 5748cd3a913eec7a24600715fc9b71044a7c38b1 (diff) | |
Bugfix: wrong access to non-constant constructor compilation.
Diffstat (limited to 'src')
| -rw-r--r-- | src/tac2intern.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2intern.ml b/src/tac2intern.ml index b0ba9adf5e..06f04c4c3d 100644 --- a/src/tac2intern.ml +++ b/src/tac2intern.ml @@ -874,7 +874,7 @@ and intern_case env loc e pl = (succ ncst, narg) else let () = - if Option.is_empty const.(narg) then + if Option.is_empty nonconst.(narg) then let ids = Array.map_of_list (fun _ -> Anonymous) args in nonconst.(narg) <- Some (ids, br') in |