diff --git a/Alloy/Util/Parser.lean b/Alloy/Util/Parser.lean
index a43128f..b6e19df 100644
--- a/Alloy/Util/Parser.lean
+++ b/Alloy/Util/Parser.lean
@@ -9,9 +9,6 @@ namespace Alloy
 
 open Lean Parser PrettyPrinter Formatter Parenthesizer
 
-#check pushNone
-#check many1
-
 /--
 The parser `many1Lookahead(p, pAhead)`, repeats `p` up to a final `pAhead`.
 It is thus useful when `p` and `pAhead` overlap.