1 files changed, 2 insertions, 6 deletions
diff --git a/doc/specs/parse_y.y b/doc/specs/parse_y.y
index b195f5d3..9dbd1022 100644
--- a/doc/specs/parse_y.y
+++ b/doc/specs/parse_y.y
@@ -1,8 +1,6 @@
 
 %{
-#ifdef HAVE_CONFIG_H
-#  include <config.h>
-#endif
+#include <config.h>
 
 #include <stdio.h>
 #include <stdlib.h>
@@ -282,9 +280,7 @@ char *new_counter(const char *key)
 
     counter_root = set_key(counter_root, key, new);
 
-    if (last_label) {
-	free(last_label);
-    }
+    free(last_label);
     last_label = strdup(new);
 
     return new;