fixup! Added __CPROVER_array_replace to complement __CPROVER_array_set

Author: tautschnig

src/goto-programs/goto_convert_class.h

@@ -530,11 +530,6 @@ class goto_convertt:public messaget
     const exprt &rhs,
     const exprt::operandst &arguments,
     goto_programt &dest);
-  void do_array_set(
-    const exprt &lhs,
-    const exprt &rhs,
-    const exprt::operandst &arguments,
-    goto_programt &dest);
   void do_array_equal(
     const exprt &lhs,
     const exprt &rhs,
@@ -543,7 +538,7 @@ class goto_convertt:public messaget
   void do_array_op(
     const irep_idt &id,
     const exprt &lhs,
-    const exprt &rhs,
+    const exprt &function,
     const exprt::operandst &arguments,
     goto_programt &dest);
   void do_printf(