noexpand always false.

[splint.git] / test / impabstract.c

diff --git a/test/impabstract.c b/test/impabstract.c
index b527c1126e81dcdb5a936baa0f7f30fb49644b14..ad8906978c90891c4b3670a97ee61f2ccfc01866 100644 (file)
--- a/test/impabstract.c
+++ b/test/impabstract.c
@@ -1,5 +1,5 @@
-typedef int mint;
-typedef /*@concrete@*/ int cint;
+typedef int mint;  /* Concrete in impabstract.lcl */
+typedef /*@concrete@*/ int cint; /* Abstract in impabstract.lcl */
 
 int f (mint m, cint c)
 {