Remove redundant assert

NathanJPhillips · Jun 13, 2018 · 68bddf1 · 68bddf1
1 parent 6f0f3fb
commit 68bddf1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp b/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -1749,7 +1749,6 @@ codet java_bytecode_convert_methodt::convert_instructions(
       else
         op=pop(1);
 
-      assert(!stack.empty());
       exprt::operandst op2;
 
       if(get_bytecode_type_width(stack.back().type())==32)