Merge pull request #2226 from tautschnig/inline-get-str-cont

Inline get_string_container
diffblue · May 22, 2018 · bfe3d3d · bfe3d3d
2 parents 2b00973 + 272cde0
commit bfe3d3d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 8 deletions.
diff --git a/src/util/string_container.cpp b/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;
-}
diff --git a/src/util/string_container.h b/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