Remove erroneous backtick

Owen · Owen · commit db75f0c96430 · 2019-07-08T16:33:19.000+01:00
diff --git a/src/cpp/cpp_typecheck_compound_type.cpp b/src/cpp/cpp_typecheck_compound_type.cpp
@@ -374,7 +374,7 @@ void cpp_typecheckt::typecheck_compound_declarator(
   if(is_cast_operator && is_static)
   {
     error().source_location=cpp_name.source_location();
-    error() << "cast operators cannot be static`" << eom;
+    error() << "cast operators cannot be static" << eom;
     throw 0;
   }
 

Original file line number	Diff line number	Diff line change
`@@ -374,7 +374,7 @@ void cpp_typecheckt::typecheck_compound_declarator(`
`374`	`374`	`if(is_cast_operator && is_static)`
`375`	`375`	`{`
`376`	`376`	`error().source_location=cpp_name.source_location();`
`377`		- error() << "cast operators cannot be static`" << eom;
	`377`	`+ error() << "cast operators cannot be static" << eom;`
`378`	`378`	`throw 0;`
`379`	`379`	`}`
`380`	`380`