From 726603e0e5a5482cf98538079790747e43313276 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 6 Nov 2013 16:58:16 -0500
Subject: Flatten libcvc4 build structure; remove some #include
 interdependences

---
 src/theory/quantifiers/Makefile | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 src/theory/quantifiers/Makefile

(limited to 'src/theory/quantifiers/Makefile')

diff --git a/src/theory/quantifiers/Makefile b/src/theory/quantifiers/Makefile
deleted file mode 100644
index 8ffdfb575..000000000
--- a/src/theory/quantifiers/Makefile
+++ /dev/null
@@ -1,4 +0,0 @@
-topdir = ../../..
-srcdir = src/theory/quantifiers
-
-include $(topdir)/Makefile.subdir
-- 
cgit v1.2.3