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 = {};