Merge pull request #6601 from thomasspriggs/tas/crangler_clean

Fix Makefile `clean` target of `src/crangler`

Author: tautschnig

src/crangler/Makefile

@@ -17,7 +17,9 @@ INCLUDES= -I ..
 include ../config.inc
 include ../../$(CPROVER_DIR)/src/common
 
-CLEANFILES = crangler$(LIBEXT)
+CLEANFILES = crangler$(LIBEXT) \
+  c_lex.yy.cpp \
+  crangler$(EXEEXT)
 
 all: crangler$(EXEEXT)