From 2dd02b83504afc348c4b3fbd6c9ff9808a2b7f82 Mon Sep 17 00:00:00 2001
From: Charalampos Mitrodimas <charalampos.mitrodimas@vrull.eu>
Date: Mon, 29 May 2023 22:46:02 +0200
Subject: [PATCH] Fix extension name in comments

Signed-off-by: Charalampos Mitrodimas <charalampos.mitrodimas@vrull.eu>
---
 model/riscv_insts_zvksed.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/model/riscv_insts_zvksed.sail b/model/riscv_insts_zvksed.sail
index 1a8176fc2..32c1ae512 100644
--- a/model/riscv_insts_zvksed.sail
+++ b/model/riscv_insts_zvksed.sail
@@ -1,5 +1,5 @@
 /*
- * Vector Cryptography Extension - Vector GCM/GMAC
+ * Vector Cryptography Extension - ShangMi Suite: SM4 Block Cipher
  * ----------------------------------------------------------------------
  */