From a3da80680400610ffe8d7de33d9ca1ee1106ae28 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 26 Jul 2017 00:32:50 +0200
Subject: Bugfix: wrong access to non-constant constructor compilation.

---
 src/tac2intern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3