From c34305c7ea2cbba45ec3e012ec323197b22e8fd1 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 24 Aug 2018 18:13:13 +0200
Subject: [PATCH] undo accidental edit

---
 theories/proofmode/tokens.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/theories/proofmode/tokens.v b/theories/proofmode/tokens.v
index 7aa0023f..47e04bec 100644
--- 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".