From bb25bd7dad966604cea0911cc43b5a3d9b27d402 Mon Sep 17 00:00:00 2001
From: Erik Ernst <eernst@google.com>
Date: Thu, 17 Oct 2024 14:03:15 +0200
Subject: [PATCH] WIP

---
 specification/dart.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specification/dart.sty b/specification/dart.sty
index 32609abc6..086e2420f 100644
--- a/specification/dart.sty
+++ b/specification/dart.sty
@@ -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]{%