Skip to content

Commit

Permalink
WIP
Browse files Browse the repository at this point in the history
  • Loading branch information
@eernstg
eernstg committed Oct 17, 2024
1 parent 98ca9a4 commit bb25bd7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion specification/dart.sty
View file
Original file line number Diff line number Diff line change
Expand Up @@ -203,7 +203,7 @@

% Mark a compile-time error in the margin.
\newcommand{\Error}[1]{%
\leavevmode\marginpar{\ensuremath{_{\textcolor{red}{^\ominus}}}}{#1}}
\leavevmode\marginpar{\ensuremath{\textcolor{red}{\ominus}}}{#1}}

% Mark a dynamic error in the margin.
\newcommand{\DynamicError}[1]{%
Expand Down

0 comments on commit bb25bd7

Please sign in to comment.