Remove trivial assertion

tautschnig · tautschnig · commit 81d5f8cedf4b · 2019-02-02T22:17:50.000Z
This is the else branch of an if guarded by this condition.
diff --git a/jbmc/src/java_bytecode/java_entry_point.cpp b/jbmc/src/java_bytecode/java_entry_point.cpp
@@ -542,9 +542,6 @@ main_function_resultt get_main_symbol(
   }
   else
   {
-    // no function given, we look for the main class
-    assert(config.main=="");
-
     // are we given a main class?
     if(main_class.empty())
     {

Original file line number	Diff line number	Diff line change
`@@ -542,9 +542,6 @@ main_function_resultt get_main_symbol(`
`542`	`542`	`}`
`543`	`543`	`else`
`544`	`544`	`{`
`545`		`- // no function given, we look for the main class`
`546`		`- assert(config.main=="");`
`547`		`-`
`548`	`545`	`// are we given a main class?`
`549`	`546`	`if(main_class.empty())`
`550`	`547`	`{`