hide internal flatten_byte_update interface

Author: Daniel Kroening

src/solvers/flattening/flatten_byte_operators.cpp

@@ -438,6 +438,25 @@ exprt flatten_byte_update(
 
 /*******************************************************************\
 
+Function: flatten_byte_update
+
+  Inputs:
+
+ Outputs:
+
+ Purpose:
+
+\*******************************************************************/
+
+exprt flatten_byte_update(
+  const byte_update_exprt &src,
+  const namespacet &ns)
+{
+  return flatten_byte_update(src, ns, false);
+}
+
+/*******************************************************************\
+
 Function: has_byte_operators
 
   Inputs:
@@ -474,7 +493,9 @@ Function: flatten_byte_operators
 
 \*******************************************************************/
 
-exprt flatten_byte_operators(const exprt &src, const namespacet &ns)
+exprt flatten_byte_operators(
+  const exprt &src,
+  const namespacet &ns)
 {
   exprt tmp=src;
 

src/solvers/flattening/flatten_byte_operators.h

@@ -20,10 +20,11 @@ exprt flatten_byte_extract(
 
 exprt flatten_byte_update(
   const byte_update_exprt &src,
-  const namespacet &ns,
-  bool negative_offset=false);
+  const namespacet &ns);
 
-exprt flatten_byte_operators(const exprt &src, const namespacet &ns);
+exprt flatten_byte_operators(
+  const exprt &src,
+  const namespacet &ns);
 
 bool has_byte_operator(const exprt &src);