Changed BADBRANCH to avoid gcc warnings.

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index 558163f4b6ec36e478b5a6b2b0a2388af5765e5c..0c3a9e1e34f62847090a49887f0f5c65731df710 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -1727,7 +1727,7 @@ static flaglist flags =
     FLG_USERELEASED,
     "storage used after release",
     "Memory is used after it has been released (either by passing "
-    "as an only param or assigning to and only global.",
+    "as an only param or assigning to an only global.",
     0, 0
   },
   {
@@ -1736,7 +1736,7 @@ static flaglist flags =
     FLG_STRICTUSERELEASED,
     "element used after it may have been released",
     "Memory (through fetch) is used after it may have been released "
-    "(either by passing as an only param or assigning to and only global.",
+    "(either by passing as an only param or assigning to an only global.",
     0, 0
   },
   {