Skip to content

Commit

Permalink
Remove duplicate definition of DefEquals
Browse files Browse the repository at this point in the history
  • Loading branch information
eernstg committed Sep 27, 2022
1 parent 6bc3840 commit 1cad0f5
Showing 1 changed file with 0 additions and 6 deletions.
6 changes: 0 additions & 6 deletions specification/dart.sty
Original file line number Diff line number Diff line change
Expand Up @@ -480,12 +480,6 @@
\newcommand{\LowerBoundType}[2]{%
\ensuremath{\LowerBoundTypeName(\code{{#1},\,\,{#2}})}}

\newcommand{\DefEquals}[2]{\ensuremath{{#1}\stackrel{\vartriangle}{=}{#2}}}
\newcommand{\DefEqualsNewline}[2]{
\ensuremath{{#1}\stackrel{\vartriangle}{=}}\\
\ensuremath{{#2}}%
}

% ----------------------------------------------------------------------
% Support for hash valued Location Markers

Expand Down

0 comments on commit 1cad0f5

Please sign in to comment.