Skip to content

Commit 90ba5d9

Browse files
author
martin
committed
Fix indenting in a Makefile
1 parent 16436f6 commit 90ba5d9

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

regression/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ DIRS = cbmc \
4747
cbmc-primitives \
4848
goto-interpreter \
4949
cbmc-sequentialization \
50-
cpp-linter \
50+
cpp-linter \
5151
# Empty last line
5252

5353
ifeq ($(OS),Windows_NT)

0 commit comments

Comments
 (0)