1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 2a82e08..2e531c5 100644
--- a/Makefile
+++ b/Makefile
@@ -182,6 +182,7 @@ clean:
 	rm -f doc/coq2html.ml doc/coq2html
 	rm -f driver/Configuration.ml
 	rm -f extraction/*.ml extraction/*.mli
+	rm -f tools/ndfun
 	$(MAKE) -C runtime clean
 	$(MAKE) -C test/cminor clean
 	$(MAKE) -C test/c clean