fx

Author: kroening

src/trans-word-level/property.cpp

@@ -72,7 +72,7 @@ Function: property_obligations_rec
 
 \*******************************************************************/
 
-void property_obligations_rec(
+static void property_obligations_rec(
   const exprt &property_expr,
   decision_proceduret &solver,
   std::size_t current,
@@ -133,7 +133,7 @@ Function: property_obligations
 
 \*******************************************************************/
 
-std::map<std::size_t, exprt::operandst> property_obligations(
+static std::map<std::size_t, exprt::operandst> property_obligations(
   const exprt &property_expr,
   decision_proceduret &solver,
   std::size_t no_timeframes,