diff options
| author | Alasdair Armstrong | 2019-03-19 17:06:48 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-19 17:11:54 +0000 |
| commit | c7e5eae97e75036d700ba437a5c295c6fb3874a4 (patch) | |
| tree | 8057878d548a6f843d62121ef762ca478c6f89b0 /src/pretty_print_sail.ml | |
| parent | 3f08b437b3b794cf89bde54fdb2e620534793f4d (diff) | |
C: Some simplification
Remove unused experimental optimizations
Diffstat (limited to 'src/pretty_print_sail.ml')
0 files changed, 0 insertions, 0 deletions