undo accidental edit

izgzhen · Aug 24, 2018 · c34305c · c34305c
1 parent 141fb84
commit c34305c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/theories/proofmode/tokens.v b/theories/proofmode/tokens.v
@@ -1,4 +1,3 @@
-Require Import Coq.Strings.Ascii.
 From iris.proofmode Require Import base.
 Set Default Proof Using "Type".