From aa173f6ca4d0b9c35871200ac0edbafd6d09d705 Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Fri, 8 Sep 2023 17:47:09 -0700 Subject: [PATCH] format conditions on single line --- document/core/exec/instructions.rst | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/document/core/exec/instructions.rst b/document/core/exec/instructions.rst index b75b38e97..82be56270 100644 --- a/document/core/exec/instructions.rst +++ b/document/core/exec/instructions.rst @@ -1259,10 +1259,7 @@ Reference Instructions (\REFARRAYADDR~a_1)~(\I32.\CONST~d+1)~(\REFARRAYADDR~a_2)~(\I32.\CONST~s+1)~(\I32.\CONST~n)~(\ARRAYCOPY~x~y) \\ \end{array} \\ \qquad - \begin{array}[t]{@{}r@{~}l@{}} - (\otherwise, \iff & d \leq s \\ - \land & F.\AMODULE.\MITYPES[x] = \TARRAY~\mut~\X{st}) - \end{array} + (\otherwise, \iff d \leq s \land F.\AMODULE.\MITYPES[x] = \TARRAY~\mut~\X{st}) \\ \\[1ex] S; (\REFARRAYADDR~a_1)~(\I32.\CONST~d)~(\REFARRAYADDR~a_2)~(\I32.\CONST~s)~(\I32.\CONST~n+1)~(\ARRAYCOPY~x~y) \quad\stepto @@ -1274,10 +1271,7 @@ Reference Instructions (\REFARRAYADDR~a_1)~(\I32.\CONST~d)~(\REFARRAYADDR~a_2)~(\I32.\CONST~s)~(\I32.\CONST~n)~(\ARRAYCOPY~x~y) \\ \end{array} \\ \qquad - \begin{array}[t]{@{}r@{~}l@{}} - (\otherwise, \iff & d > s \\ - \land & F.\AMODULE.\MITYPES[x] = \TARRAY~\mut~\X{st}) - \end{array} + (\otherwise, \iff d > s \land F.\AMODULE.\MITYPES[x] = \TARRAY~\mut~\X{st}) \\ \\[1ex] S; (\REFNULL~t)~(\I32.\CONST~d)~\val~(\I32.\CONST~s)~(\I32.\CONST~n)~(\ARRAYCOPY~x~y) \quad\stepto\quad \TRAP \\[1ex]