Skip to content

Commit 716b25e

Browse files
author
martin
committed
Linting and format fixes
1 parent 044f298 commit 716b25e

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

regression/goto-analyzer/dependence-graph13/main.c

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
void func()
22
{
3-
43
}
54

65
void main(void)

src/analyses/dependence_graph.cpp

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -214,8 +214,9 @@ void dep_graph_domaint::transform(
214214
std::all_of(
215215
std::next(control_deps.begin()),
216216
control_deps.end(),
217-
[](const goto_programt::const_targett &d)
218-
{ return d->is_function_call(); }),
217+
[](const goto_programt::const_targett &d) {
218+
return d->is_function_call();
219+
}),
219220
"All entries must be function calls");
220221

221222
control_deps.clear();

0 commit comments

Comments
 (0)