From 5e3b1141cab9d2e511eb0615eecc917d00db807e Mon Sep 17 00:00:00 2001
From: John Doty <john@d0ty.me>
Date: Wed, 2 Oct 2024 07:18:06 -0700
Subject: [PATCH] [dingus] Remove unused code

---
 dingus/dingus.js | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/dingus/dingus.js b/dingus/dingus.js
index 1d84c03..ca70cc3 100644
--- a/dingus/dingus.js
+++ b/dingus/dingus.js
@@ -1,10 +1,3 @@
-// TODO: Abstract/Factor
-let pending_grammar = null;
-let next_grammar = null;
-
-let pending_document = null;
-let next_document = null;
-
 const STATUS = document.getElementById("status-line");
 
 const DOC_CHAINS = {};