Fix clang style check

TGWDB · TGWDB · commit e0fd9f28ca95 · 2021-02-09T15:50:02.000Z
diff --git a/src/ansi-c/c_typecheck_expr.cpp b/src/ansi-c/c_typecheck_expr.cpp
@@ -2847,8 +2847,8 @@ exprt c_typecheck_baset::do_special_functions(
     if(expr.arguments().size() != 1)
     {
       error().source_location = expr.source_location();
-      error() << identifier << " expects one argument, " << 
-        expr.arguments().size() << " were provided" << eom;
+      error() << identifier << " expects one argument, "
+              << expr.arguments().size() << " were provided" << eom;
       throw 0;
     }
     // Replace expr with giant boolean that checks all the values

Original file line number	Diff line number	Diff line change
`@@ -2847,8 +2847,8 @@ exprt c_typecheck_baset::do_special_functions(`
`2847`	`2847`	`if(expr.arguments().size() != 1)`
`2848`	`2848`	`{`
`2849`	`2849`	`error().source_location = expr.source_location();`
`2850`		`- error() << identifier << " expects one argument, " <<`
`2851`		`- expr.arguments().size() << " were provided" << eom;`
	`2850`	`+ error() << identifier << " expects one argument, "`
	`2851`	`+ << expr.arguments().size() << " were provided" << eom;`
`2852`	`2852`	`throw 0;`
`2853`	`2853`	`}`
`2854`	`2854`	`// Replace expr with giant boolean that checks all the values`