*** empty log message ***

[splint.git] / src / Headers / filelocStack.h

diff --git a/src/Headers/filelocStack.h b/src/Headers/filelocStack.h
index 60cc667e89d19089290fb3bc3cef204d9cb98391..067bce85dac3c36ab56dcee477d5bf7bbd1957e2 100644 (file)
--- a/src/Headers/filelocStack.h
+++ b/src/Headers/filelocStack.h
@@ -5,7 +5,7 @@
 # ifndef FILELOCSTACK_H
 # define FILELOCSTACK_H
 
-abst_typedef /*@null@*/ struct _filelocStack
+abst_typedef /*@null@*/ struct
 {
   int nelements;
   int free;