Skip to content

Commit

Permalink
Fix innocuous issues with extension tagging
Browse files Browse the repository at this point in the history
- The `end` statement for `scattered enum extension` misspelled `extension`.
- `end extensionEnabled` was inadvertently dropped, and now been restored.
  • Loading branch information
ThinkOpenly committed Jul 22, 2024
1 parent 6168768 commit 3758dc0
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion model/riscv_insts_end.sail
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,8 @@ mapping clause assembly = C_ILLEGAL(s) <-> "c.illegal" ^ spc() ^ hex_bits_16(s)
/* ****************************************************************** */

/* End definitions */
end extensions
end extension
end extensionEnabled
end ast
end execute
end assembly
Expand Down

0 comments on commit 3758dc0

Please sign in to comment.