*** empty log message ***

[splint.git] / src / general.c

diff --git a/src/general.c b/src/general.c
index ffd23680659065a11b7c1afef5806047c467a454..1eac6069a94217603ab1eccc5d57dc47f0c502dc 100644 (file)
--- a/src/general.c
+++ b/src/general.c
@@ -245,6 +245,18 @@ bool mstring_containsChar (const char *s, char c)
       return FALSE;
     }
 }
+
+bool mstring_containsString (const char *s, const char *c)
+{
+  if (mstring_isDefined (s))
+    {
+      return (strstr (s, c) != NULL);
+    }
+  else
+    {
+      return FALSE;
+    }
+}
  
 char *mstring_concat (const char *s1, const char *s2)
 {