diff options
| author | Alasdair Armstrong | 2019-11-07 18:16:46 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-11-07 18:16:46 +0000 |
| commit | 5401a0f348c37a4bfaf084b24a74ee6ad924cf74 (patch) | |
| tree | 4588bc1336288c79799c57df53aff44b5bf1877b /src | |
| parent | 51811443eeb7c594b8db9bbffd387dc0fbfeffd3 (diff) | |
Fix Jenkins build
sail2_instr_kinds was in the folder with the old lem interpreter for
some reason, rather than with all the other sail2*.lem files
Diffstat (limited to 'src')
| -rw-r--r-- | src/gen_lib/sail2_instr_kinds.lem (renamed from src/lem_interp/sail2_instr_kinds.lem) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/lem_interp/sail2_instr_kinds.lem b/src/gen_lib/sail2_instr_kinds.lem index f3cdfbc9..f3cdfbc9 100644 --- a/src/lem_interp/sail2_instr_kinds.lem +++ b/src/gen_lib/sail2_instr_kinds.lem |