src/lv6version.ml · c3178cb6b6277f8a7c728a0533f13e5aee17c803 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

10 years ago
c3178cb6
Fix a bug in -en (that was only visible when using -2c). · c3178cb6
Erwan Jahier authored 10 years ago
```
Basically, I've missed some substitutions in Merge and in clocks.

This one was spotted by willie.
```
c3178cb6

History
Fix a bug in -en (that was only visible when using -2c).
Erwan Jahier authored 10 years ago
```
Basically, I've missed some substitutions in Merge and in clocks.

This one was spotted by willie.
```