Skip to content

Commit 8f6abb3

Browse files
committed
Undo superfluous irrelevant change
1 parent de69f78 commit 8f6abb3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

clang/test/Analysis/z3/D83660.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
// RUN: -analyzer-checker=core %s -verify
1010
//
1111
// REQUIRES: z3, asserts, shell, system-linux
12-
12+
//
1313
// Works only with the z3 constraint manager.
1414
// expected-no-diagnostics
1515

0 commit comments

Comments
 (0)