From b5cba3251053c22bf1df46282f1dd0a4c46f6a38 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Tue, 1 Mar 2016 15:35:04 +0100
Subject: renaming mint->exchange

---
 .../id:000613,src:000000,op:int32,pos:82,val:+32767,+cov  | Bin 339 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 src/mint/afl-tests/id:000613,src:000000,op:int32,pos:82,val:+32767,+cov

(limited to 'src/mint/afl-tests/id:000613,src:000000,op:int32,pos:82,val:+32767,+cov')

diff --git a/src/mint/afl-tests/id:000613,src:000000,op:int32,pos:82,val:+32767,+cov b/src/mint/afl-tests/id:000613,src:000000,op:int32,pos:82,val:+32767,+cov
deleted file mode 100644
index dbc4b58e7..000000000
Binary files a/src/mint/afl-tests/id:000613,src:000000,op:int32,pos:82,val:+32767,+cov and /dev/null differ
-- 
cgit v1.2.3