diff options
| author | Matthew Fernandez | 2018-08-09 18:14:12 -0700 |
|---|---|---|
| committer | Matthew Fernandez | 2018-08-09 18:14:12 -0700 |
| commit | f05a7be239c7063727dcb529821edc7db20d4812 (patch) | |
| tree | d79207b19f139b88d4034854ac62c66043bdf3f2 /lib/hol/sail2_valuesAuxiliaryScript.sml | |
| parent | 58f585cfd9b1f5fd7724fdcb71b46179524653ca (diff) | |
fix tutorial infix example
The syntax for these directives requires the precedence first. E.g. a real world
version of this in riscv/prelude.sail.
Diffstat (limited to 'lib/hol/sail2_valuesAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions