Merge pull request diffblue#2094 from smowton/smowton/fix/tmp-object-…

…factory-prefix Attribute main function arguments to __CPROVER_start
NathanJPhillips · Apr 24, 2018 · 0f1482c · 0f1482c
2 parents 3cfec66 + 5aa2c2d
commit 0f1482c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/java_bytecode/java_entry_point.cpp b/src/java_bytecode/java_entry_point.cpp
@@ -203,7 +203,7 @@ exprt::operandst java_build_arguments(
       !assume_init_pointers_not_null && !is_main && !is_this;
 
     object_factory_parameterst parameters = object_factory_parameters;
-    parameters.function_id = function.name;
+    parameters.function_id = goto_functionst::entry_point();
 
     // generate code to allocate and non-deterministicaly initialize the
     // argument