diff --git a/regression/Makefile b/regression/Makefile
index f4d37f8c442..d47df3994cc 100644
--- a/regression/Makefile
+++ b/regression/Makefile
@@ -12,7 +12,6 @@ DIRS = ansi-c \
        invariants \
        strings \
        strings-smoke-tests \
-       symex \
        test-script \
        # Empty last line