From 387959675cd53b3c75ad9b6215b07843f8c8f1d8 Mon Sep 17 00:00:00 2001
From: Greg Brown <gmb60@cam.ac.uk>
Date: Tue, 11 May 2021 13:53:56 +0100
Subject: Rename autochomp to autonibble.

---
 autochomp/benches/parse/data/97.nb | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 autochomp/benches/parse/data/97.nb

(limited to 'autochomp/benches/parse/data/97.nb')

diff --git a/autochomp/benches/parse/data/97.nb b/autochomp/benches/parse/data/97.nb
deleted file mode 100644
index d0d00f9..0000000
--- a/autochomp/benches/parse/data/97.nb
+++ /dev/null
@@ -1,3 +0,0 @@
-let bot = !(/rec/ ("a" . rec));
-let zero = /zero suc/ zero;
-match (/zero suc/ suc (_ zero suc));
-- 
cgit v1.2.3