From 7e85c2d749afe3ba47ae0aa2302ffac9d6861a44 Mon Sep 17 00:00:00 2001
From: Stefano Brivio <sbrivio@redhat.com>
Date: Wed, 14 Jun 2023 13:59:37 +0200
Subject: Makefile: Fix build

Signed-off-by: Stefano Brivio <sbrivio@redhat.com>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0c52c8a..a2f146c 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ COMMON_DIR := $(DIR)/common
 BIN := $(OUTDIR)/seitan
 SRCS := seitan.c $(COMMON_DIR)/common.c $(COMMON_DIR)/util.c  operations.c
 HEADERS := $(COMMON_DIR)/common.h $(COMMON_DIR)/gluten.h \
-	   $(COMMON_DIR)/numbers.h $(COMMON_DIR)/util.h operations.h
+	   $(COMMON_DIR)/util.h operations.h
 
 CFLAGS += -DTMP_DATA_SIZE=1000
 CFLAGS += -Wall -Wextra -pedantic -std=c99 -I$(COMMON_DIR)
-- 
cgit v1.2.3