Fixed handling of wide character strings (L"test").

[splint.git] / test / simplebufferConstraintTests / m.c

diff --git a/test/simplebufferConstraintTests/m.c b/test/simplebufferConstraintTests/m.c
index 3d3479d27f9c294b392e354d62de08b159547f51..9c0636f3728ec0351c1f1c0d36471339426cc424 100644 (file)
--- a/test/simplebufferConstraintTests/m.c
+++ b/test/simplebufferConstraintTests/m.c
@@ -1,5 +1,5 @@
 extern /*@null@*/ /*@out@*/ /*@only@*/ void *mymalloc (size_t size) /*@*/
-     /*@LEnsures MaxSet(result) == (size - 1) @*/ ;
+     /*@ensures MaxSet(result) == (size - 1) @*/ ;
   
 void t()
 {