Skip to content

Commit 9e85dec

Browse files
committed
consistnt brackets
1 parent 34b9a22 commit 9e85dec

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

document/core/exec/relaxed.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ Preliminary Definitions
4343
\suspensionact(\u32, \AWOKEN~\reg[\u32]) & = & \AWOKEN~\reg[\u32] \\
4444
\suspensionact(\u32, \ATIMEOUT~\reg[\u32]) & = & \ATIMEOUT~\reg[\u32] \\
4545
\suspensionact(\u32, \ANOTIFY~\reg[\u32]~\u32'~\u32'') & = & \ANOTIFY~\reg[\u32]~\u32'~\u32'' \\
46-
\suspensionact(\u32, \act) & = & \epsilon \qquad \otherwise \\
46+
\suspensionact(\u32, \act) & = & \epsilon \qquad (\otherwise) \\
4747
&&\\
4848
\readact(\ARD_{\ord}~\loc~\byte^\ast~\NOTEARS^?) & = & \byte^\ast \\
4949
\readact(\ARMW~\loc~{\byte_1}^\ast~{\byte_2}^\ast) & = & {\byte_1}^\ast \\

0 commit comments

Comments
 (0)