cpplint.

marek-trtik · marek-trtik · commit 9a7e2235c4ba · 2017-08-24T15:00:44.000+01:00
diff --git a/src/taint-slicer/instrumentation_props.cpp b/src/taint-slicer/instrumentation_props.cpp
@@ -39,7 +39,7 @@ bool is_primitive_type(const typet type)
          type==java_int_type() ||
          type==java_long_type() ||
          type==java_float_type() ||
-         type==java_double_type() ;
+         type==java_double_type();
 }
 
 std::string parse_type_name(const typet &type, const namespacet &ns)

Original file line number	Diff line number	Diff line change
`@@ -39,7 +39,7 @@ bool is_primitive_type(const typet type)`
`39`	`39`	`type==java_int_type() \|\|`
`40`	`40`	`type==java_long_type() \|\|`
`41`	`41`	`type==java_float_type() \|\|`
`42`		`- type==java_double_type() ;`
	`42`	`+ type==java_double_type();`
`43`	`43`	`}`
`44`	`44`
`45`	`45`	`std::string parse_type_name(const typet &type, const namespacet &ns)`