add aiger.a to CLEANFILES

kroening · kroening · commit e77652321538 · 2024-06-15T16:33:34.000-07:00
diff --git a/src/aiger/Makefile b/src/aiger/Makefile
@@ -3,7 +3,7 @@ SRC = aiger_language.cpp
 include ../config.inc
 include ../common
 
-CLEANFILES = 
+CLEANFILES = aiger$(LIBEXT)
 
 all: aiger$(LIBEXT)
 
