From e2bed2d71121ac171953e9a0b84275ee38b5547f Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Thu, 25 Jun 2009 00:05:45 +0000
Subject: Didn't mean to check this in.

---
 klee/test/Feature/ArbitraryBitWidths.ll | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 klee/test/Feature/ArbitraryBitWidths.ll

(limited to 'klee/test')

diff --git a/klee/test/Feature/ArbitraryBitWidths.ll b/klee/test/Feature/ArbitraryBitWidths.ll
deleted file mode 100644
index 34e3ee788d6..00000000000
--- a/klee/test/Feature/ArbitraryBitWidths.ll
+++ /dev/null
@@ -1,5 +0,0 @@
-@g0 = global i31 10
-
-define i32 @main() {
-       ret i32 0
-}
\ No newline at end of file
-- 
cgit v1.2.3