From 6b3fd33d7e3b775ce6afe38f7b16d4b11bdccdb3 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 27 Jul 2017 16:05:34 +0200
Subject: Fix expansion of toplevel let-rec after the constructor / constant
 split.

---
 src/tac2entries.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/tac2entries.ml b/src/tac2entries.ml
index da0e213340..6fce739d30 100644
--- a/src/tac2entries.ml
+++ b/src/tac2entries.ml
@@ -269,8 +269,7 @@ let inline_rec_tactic tactics =
     let map_body ((loc, id), _, e) = (loc, Name id), None, e in
     let bnd = List.map map_body tactics in
     let pat_of_id (loc, id) =
-      let qid = (loc, qualid_of_ident id) in
-      (CPatRef (Option.default dummy_loc loc, RelId qid, []), None)
+      (CPatVar (loc, Name id), None)
     in
     let var_of_id (loc, id) =
       let qid = (loc, qualid_of_ident id) in
-- 
cgit v1.2.3