From 3758dc0b34cc33ea9e0e3ad8c4417ea9e542c2d3 Mon Sep 17 00:00:00 2001
From: "Paul A. Clarke" <pclarke@ventanamicro.com>
Date: Mon, 22 Jul 2024 11:16:37 -0400
Subject: [PATCH] Fix innocuous issues with extension tagging

- The `end` statement for `scattered enum extension` misspelled `extension`.
- `end extensionEnabled` was inadvertently dropped, and now been restored.
---
 model/riscv_insts_end.sail | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/model/riscv_insts_end.sail b/model/riscv_insts_end.sail
index d9167a109..728c21e43 100644
--- a/model/riscv_insts_end.sail
+++ b/model/riscv_insts_end.sail
@@ -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