Label blocks with SAIL as 'SAIL code'

riscvarchive · Jan 20, 2023 · c6acc0a · c6acc0a
1 parent ed39e2d
commit c6acc0a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/zicondops.adoc b/zicondops.adoc
@@ -168,7 +168,7 @@ Furthermore, implementations can predict the condition just as they might for br
 As a consequence of this instruction's equivalence to `mv rd, rs1` when _rs2_ is nonzero, this instruction's timing is independent of the data value of _rs1_ if the Zkt extension is implemented.
 ====
 
-Operation::
+SAIL code::
 [source,sail]
 --
   let value = X(rs1);
@@ -228,7 +228,7 @@ However, the timing is independent of the data value in rs1.
 As a consequence of this instruction's equivalence to `mv rd, rs1` when _rs2_ is zero, this instruction's timing is independent of the data value of _rs1_ if the Zkt extension is implemented.
 ====
 
-Operation::
+SAIL code::
 [source,sail]
 --
   let value = X(rs1);