Remove duplicate sep

This is defined already by Sail now.
riscv · Nov 17, 2023 · dec1c06 · dec1c06
1 parent 9f4cad6
commit dec1c06
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/model/riscv_types.sail b/model/riscv_types.sail
@@ -419,11 +419,6 @@ enum extop_zbb = {RISCV_SEXTB, RISCV_SEXTH, RISCV_ZEXTH}
 
 enum zicondop = {RISCV_CZERO_EQZ, RISCV_CZERO_NEZ}
 
-val sep : unit <-> string
-mapping sep : unit <-> string = {
- () <-> opt_spc() ^ "," ^ def_spc()
-}
-
 mapping bool_bits : bool <-> bits(1) = {
  true <-> 0b1,
  false <-> 0b0