From 255ec4a98d329d021dbc86ca81a59d562efaa8d1 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Wed, 25 Jun 2014 09:51:51 +0200
Subject: Differentiate pre witin different scopes.

---
 frontend/typing.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'frontend')

diff --git a/frontend/typing.ml b/frontend/typing.ml
index aca8d15..0f19b93 100644
--- a/frontend/typing.ml
+++ b/frontend/typing.ml
@@ -136,6 +136,7 @@ let rec extract_all_vars rp (node, prefix, eqs) n_vars =
       List.flatten
         (List.map
           (fun (id, expr) ->
+              let id = node^"/"^id in
               let vd =
                 List.mapi
                   (fun i t -> false, id^"."^(string_of_int i), t)
-- 
cgit v1.2.3