From ab0db815c277d69530cd3f238a9a4e583a45d4eb Mon Sep 17 00:00:00 2001
From: dwightguth <dwight.guth@runtimeverification.com>
Date: Mon, 6 Feb 2017 15:27:30 -0600
Subject: [PATCH] add line to make clean that was missing (#366)

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 8f30f6dbb..e75e10304 100644
--- a/Makefile
+++ b/Makefile
@@ -117,6 +117,7 @@ fail-compile:	test-build
 
 clean:
 	-$(MAKE) -C $(PARSER_DIR) clean
+	-$(MAKE) -C $(CPPPARSER_DIR) clean
 	-$(MAKE) -C $(SEMANTICS_DIR) clean
 	-$(MAKE) -C $(TESTS_DIR) clean
 	-$(MAKE) -C $(PASS_TESTS_DIR) clean