diff --git a/sledge/test/Makefile b/sledge/test/Makefile
index 428b3aa3f..8bdb5afed 100644
--- a/sledge/test/Makefile
+++ b/sledge/test/Makefile
@@ -120,7 +120,7 @@ cleanbc:
 
 # remove result files
 cleanout:
-	@find -L * -name "*.out" -or -name '*.err' \
+	@find -L * -name "*.out" -or -name '*.err' -or -name '*.llair' \
 	 | xargs rm -f
 
 clean: cleanbc cleanout