diff options
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 |