From b99baac33e68d5603d0aa9ef699460a7e6a15c1d Mon Sep 17 00:00:00 2001
From: "Iavor S. Diatchki" <diatchki@galois.com>
Date: Fri, 21 Dec 2007 11:39:47 -0800
Subject: Initial import.

---
 Setup.hs | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 Setup.hs

(limited to 'Setup.hs')

diff --git a/Setup.hs b/Setup.hs
new file mode 100644
index 0000000..de3cd2a
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,4 @@
+module Main where
+
+import Distribution.Simple
+main = defaultMain
-- 
cgit v1.2.3