From 71497a82b265e745255bbbbf910caa2e17bcbb91 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Tue, 19 Nov 2013 20:39:01 +0100
Subject: [PATCH] Corrected bug in inline_extvalues

Inline_extvalues: added local variables of contracts into environments
---
 Makefile-distrib                                    | 2 +-
 compiler/minils/transformations/inline_extvalues.ml | 2 +-
 compiler/utilities/global/compiler_options.ml       | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile-distrib b/Makefile-distrib
index d328e00..5b5a579 100644
--- a/Makefile-distrib
+++ b/Makefile-distrib
@@ -2,7 +2,7 @@
 include config
 
 #version = $(shell date +"%d%m%y")
-version = 1.00.02
+version = 1.00.03
 osname=$(shell uname -s)
 hardware=$(shell uname -m)
 heptdir = heptagon-$(version)
diff --git a/compiler/minils/transformations/inline_extvalues.ml b/compiler/minils/transformations/inline_extvalues.ml
index 5f14907..a04e926 100644
--- a/compiler/minils/transformations/inline_extvalues.ml
+++ b/compiler/minils/transformations/inline_extvalues.ml
@@ -60,7 +60,7 @@ let gather_extvalues_node nd =
     let env = add_l (add_l (add_l Env.empty nd.n_output) nd.n_local) nd.n_input in
     match nd.n_contract with
     | None -> env
-    | Some c -> add_l env c.c_controllables
+    | Some c -> add_l (add_l env c.c_controllables) c.c_local
   in
 
   (* Check for implicit cast from linear to non-linear type *)
diff --git a/compiler/utilities/global/compiler_options.ml b/compiler/utilities/global/compiler_options.ml
index 04a96c2..e6761f7 100644
--- a/compiler/utilities/global/compiler_options.ml
+++ b/compiler/utilities/global/compiler_options.ml
@@ -32,7 +32,7 @@
 open Names
 
 (* version of the compiler *)
-let version = "1.00.02"
+let version = "1.00.03"
 let date = "DATE"
 
 (* standard module *)