Skip to content

Commit 01ec0b1

Browse files
tautschnigtautschnig
committed
Advance year to 2018
1 parent 5d780c9 commit 01ec0b1

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,6 +1,6 @@
11
CBMC=../cbmc
22
2LS=../2ls
3-
YEAR=2017
3+
YEAR=2018
44

55
all: cbmc 2ls
66

0 commit comments

Comments
 (0)