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 @@
-