Commit 71497a82 authored by Gwenaël Delaval's avatar Gwenaël Delaval

Corrected bug in inline_extvalues

Inline_extvalues: added local variables of contracts into environments
parent 106b1339
......@@ -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)
......
......@@ -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 *)
......
......@@ -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 *)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment