src/parserUtils.ml · ca2e3f18f951a57a6dcee9c20e74cc90e6484d46 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

14 years ago
18374c51
Fix the bug of numerical static args in node name: · 18374c51
Pascal Raymond authored 14 years ago
```
'-' replaced by 'm', '.' by 'd',
(see "correct_num_string" in LicDump.ml)
```
18374c51

History
Fix the bug of numerical static args in node name:
Pascal Raymond authored 14 years ago
```
'-' replaced by 'm', '.' by 'd',
(see "correct_num_string" in LicDump.ml)
```

parserUtils.ml 15.82 KiB