From d71756f298d5140e86faa0385be4197a17159a88 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Wed, 28 Feb 2018 03:43:55 -0800
Subject: [PATCH] Delete an extraneous file.

---
 lib/cretonne/src/isa/riscv/registers.py | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 lib/cretonne/src/isa/riscv/registers.py

diff --git a/lib/cretonne/src/isa/riscv/registers.py b/lib/cretonne/src/isa/riscv/registers.py
deleted file mode 100644
index 8b13789179..0000000000
--- a/lib/cretonne/src/isa/riscv/registers.py
+++ /dev/null
@@ -1 +0,0 @@
-