Removed duplicate definitien in dart.sty

eernstg · eernstg · commit 4fa0f400de79 · 2022-12-02T15:02:42.000+01:00
diff --git a/specification/dart.sty b/specification/dart.sty
@@ -477,12 +477,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
 
