diff options
| author | Alasdair Armstrong | 2017-10-24 17:18:01 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-10-24 17:18:01 +0100 |
| commit | deb54723bdc04c7e381ffb84974d217cf961c676 (patch) | |
| tree | 9c28ce69cb66ed32504ac40762504d0655bdf50f /src/pp.ml | |
| parent | 761c9bda82472b39d64416b6d4e25d21081fa261 (diff) | |
More succinct syntax in new parser for externed valspecs which share
the same name between sail and the target
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions