Skip to content

Commit 5aebe3f

Browse files
committed
[spectec] Adjust test expects
1 parent c6b743b commit 5aebe3f

File tree

2 files changed

+1
-1
lines changed

2 files changed

+1
-1
lines changed
0 Bytes
Binary file not shown.

spectec/test-latex/TEST.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11171,7 +11171,7 @@ $$
1117111171
$$
1117211172
\begin{array}[t]{@{}lcl@{}l@{}}
1117311173
{\mathrm{invoke}}(s, {\mathit{funcaddr}}, {{\mathit{val}}^\ast}) & = & s ; \{ \mathsf{module}~\{ \} \} ; {{\mathit{val}}^\ast}~(\mathsf{ref{.}func}~{\mathit{funcaddr}})~(\mathsf{call\_ref}~s{.}\mathsf{funcs}{}[{\mathit{funcaddr}}]{.}\mathsf{type}) & \\
11174-
\multicolumn{4}{@{}l@{}}{\quad
11174+
&& \multicolumn{2}{@{}l@{}}{\quad
1117511175
\quad
1117611176
\begin{array}[t]{@{}l@{}}
1117711177
\mbox{if}~ s{.}\mathsf{funcs}{}[{\mathit{funcaddr}}]{.}\mathsf{type} \approx \mathsf{func}~{t_1^\ast} \rightarrow {t_2^\ast} \\

0 commit comments

Comments
 (0)