1 files changed, 0 insertions, 14 deletions
diff --git a/stp/Makefile b/stp/Makefile
deleted file mode 100644
index c863d5b4..00000000
--- a/stp/Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
-#===-- stp/Makefile ----------------------------------------*- Makefile -*--===#
-#
-#                     The KLEE Symbolic Virtual Machine
-#
-# This file is distributed under the University of Illinois Open Source
-# License. See LICENSE.TXT for details.
-#
-#===------------------------------------------------------------------------===#
-
-LEVEL=..
-
-PARALLEL_DIRS := AST bitvec c_interface constantbv sat simplifier
-
-include $(LEVEL)/Makefile.common