Skip to content

Commit f7a8aaf

Browse files
jhoenickejhoenicke
committed
Bumped Year
1 parent ae3b4d5 commit f7a8aaf

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎Makefile‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
.PHONY : clean all test
22

3-
YEAR=2022
3+
YEAR=2023
44
CFLAGS=-g -O3
55
LDFLAGS=
66
DISTFILES=SMT-COMP-$(YEAR)-trace-executor.tar.gz

0 commit comments

Comments
 (0)