diff options
| author | Pierre-Marie Pédrot | 2017-08-25 18:03:54 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-25 18:04:50 +0200 |
| commit | 8e6338d862873d7e377f59664bbd89e16c0a7309 (patch) | |
| tree | a878a65efc51382fbbf6047aa862e4cbb1386854 /tests/example2.v | |
| parent | 029dd0fcfc5641b689356c467e2f0fb1d3fa178c (diff) | |
Introducing a distinct bindings scope.
Diffstat (limited to 'tests/example2.v')
0 files changed, 0 insertions, 0 deletions