diff options
| author | Alastair Reid | 2017-08-08 11:14:22 +0100 |
|---|---|---|
| committer | Alastair Reid | 2017-08-08 11:14:22 +0100 |
| commit | 6d6691eefdb2444521b786a236c556f3cef992eb (patch) | |
| tree | d0759da403c34c0337d9efaf2e873619827afc85 /x86 | |
| parent | dc0cf7ad73b21b3f787eb2de3b370b64ca264429 (diff) | |
Add add_typ_var to mli file
This function is used by asl_to_sail2.ml
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions