Inline get_string_container

The C standard guarantees that the static local variable remains unique.

Author: tautschnig

src/util/string_container.cpp

@@ -74,10 +74,3 @@ unsigned string_containert::get(const std::string &s)
 
   return r;
 }
-
-/// Get a reference to the global string container.
-string_containert &get_string_container()
-{
-  static string_containert ret;
-  return ret;
-}

src/util/string_container.h

@@ -89,6 +89,11 @@ class string_containert
   string_vectort string_vector;
 };
 
-string_containert &get_string_container();
+/// Get a reference to the global string container.
+inline string_containert &get_string_container()
+{
+  static string_containert ret;
+  return ret;
+}
 
 #endif // CPROVER_UTIL_STRING_CONTAINER_H