Cleanly end scattered mappings

ThinkOpenly · Sep 10, 2024 · 738896b · 738896b
1 parent 6beae1e
commit 738896b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/model/riscv_insts_end.sail b/model/riscv_insts_end.sail
@@ -55,8 +55,10 @@ end extensionEnabled
 end ast
 end execute
 end assembly
-end encdec
+end fmtencdec_compressed
+end fmtencdec
 end encdec_compressed
+end oldencdec
 
 val print_insn : ast -> string
 function print_insn insn = assembly(insn)