Skip to content

Commit 7a40434

Browse files
peterschrammelpeterschrammel
committed
Increase year to 2019
1 parent 4c82f26 commit 7a40434

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎Makefile‎

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

66
all: cbmc 2ls jbmc
77

0 commit comments

Comments
 (0)