We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 27458d6 commit 16deb45Copy full SHA for 16deb45
source/support.tex
@@ -4492,7 +4492,7 @@
4492
\returns
4493
\keyword{true} if the evaluation semantic is
4494
a terminating semantic\iref{basic.contract.eval};
4495
-otherwise \tcode{false}.
+otherwise, \tcode{false}.
4496
4497
\end{itemdescr}
4498
@@ -4516,7 +4516,7 @@
4516
\begin{itemdescr}
4517
\pnum
4518
4519
-A \tcode{source_location}object
+A \tcode{source_location} object
4520
with
4521
\impldef{the contents provided in the \tcode{location} field of \tcode{contract_violation}}
4522
value.
0 commit comments