From 23dd87e399b619bb040d6d965fe9d61e604ae517 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Thu, 7 Jun 2018 11:22:05 -0700
Subject: Remove unused file.

---
 riscv/riscv_all.sail | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 riscv/riscv_all.sail

diff --git a/riscv/riscv_all.sail b/riscv/riscv_all.sail
deleted file mode 100644
index f331b348..00000000
--- a/riscv/riscv_all.sail
+++ /dev/null
@@ -1,5 +0,0 @@
-$include "prelude.sail"
-$include "riscv_types.sail"
-$include "riscv_sys.sail"
-$include "riscv.sail"
-$include "main.sail"
-- 
cgit v1.2.3