diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-01-07 10:24:12 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-01-07 10:24:40 +0100 |
| commit | 81492757797caef50d4eb3eb185f813463da883d (patch) | |
| tree | c71a4c4c17e1b5b5585cf41e291b57731ba98473 /toplevel | |
| parent | 093529c6d4f8eba7370c30b97d8d648340039374 (diff) | |
STM: additional fix for STM + vm_compute
Thanks again Maximes.
This time the C value was stored in the env_(named|rel)_val of
the environment
Diffstat (limited to 'toplevel')
0 files changed, 0 insertions, 0 deletions