Fixed bug in handling of sizeof

[splint.git] / stamp-h1

diff --git a/stamp-h1 b/stamp-h1
index 9788f70238c91894045d22366fa941580826c3c1..3bd2b7e53e5bdd7574bcedad88b9d5921f542b42 100644 (file)
--- a/stamp-h1
+++ b/stamp-h1
@@ -1 +1 @@
-timestamp
+timestamp for config.h:config.hin