summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdeheader2
1 files changed, 1 insertions, 1 deletions
diff --git a/deheader b/deheader
index 77a997f..0d66ed4 100755
--- a/deheader
+++ b/deheader
@@ -1400,7 +1400,7 @@ def c_analyze(sourcefile, maker, includes, requires, verbosity):
print "deheader: in %s, %s prevents uninclusion of %s" % (sourcefile, trigger, trim(header))
retain += 1
if not retain:
- saveit.remove_headers([header])
+ saveit.remove_headers(unneeded + [header])
(st, _t) = testcompile(sourcefile, maker, " without %s" % trim(header), verbosity, showerrs=False)
if st == 0:
unneeded.append(header)