DNC check linter spots error

thk123 · thk123 · commit 1975c15f85f4 · 2019-01-09T11:22:45.000Z
diff --git a/unit/util/irep.cpp b/unit/util/irep.cpp
@@ -5,7 +5,7 @@
 #include <testing-utils/catch.hpp>
 #include <util/irep.h>
 
-SCENARIO("irept_memory", "[core][utils][irept]")
+SCENARIO("irept_memory" "[core][utils][irept]")
 {
   GIVEN("Always")
   {

Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@`
`5`	`5`	`#include <testing-utils/catch.hpp>`
`6`	`6`	`#include <util/irep.h>`
`7`	`7`
`8`		`-SCENARIO("irept_memory", "[core][utils][irept]")`
	`8`	`+SCENARIO("irept_memory" "[core][utils][irept]")`
`9`	`9`	`{`
`10`	`10`	`GIVEN("Always")`
`11`	`11`	`{`