Correcting a typo

thk123 · svorenova · commit 7320c466753a · 2017-10-09T11:09:33.000+01:00
diff --git a/src/java_bytecode/java_types.cpp b/src/java_bytecode/java_types.cpp
@@ -357,7 +357,7 @@ typet java_type_from_string(
 #ifdef DEBUG
             std::cout << " generic type var " << gen_type.id() << " bound "
                       << to_symbol_type(gen_type.subtype()).get_identifier()
-                      << "\n2";
+                      << "\n";
 #endif
             result.generic_type_variables().push_back(gen_type);
           }

Original file line number	Diff line number	Diff line change
`@@ -357,7 +357,7 @@ typet java_type_from_string(`
`357`	`357`	`#ifdef DEBUG`
`358`	`358`	`std::cout << " generic type var " << gen_type.id() << " bound "`
`359`	`359`	`<< to_symbol_type(gen_type.subtype()).get_identifier()`
`360`		`- << "\n2";`
	`360`	`+ << "\n";`
`361`	`361`	`#endif`
`362`	`362`	`result.generic_type_variables().push_back(gen_type);`
`363`	`363`	`}`