Skip to content

Commit 7a08427

Browse files
peterschrammelpeterschrammel
committed
Remove unused year
1 parent d826947 commit 7a08427

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

‎Makefile‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
CBMC=../cbmc
22
2LS=../2ls
33
JBMC=../cbmc
4-
YEAR=2019
54

65
all: cbmc 2ls jbmc
76

0 commit comments

Comments
 (0)