From dede820d9f023b8637595a34eb1b449d859f20a5 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko <protz@microsoft.com>
Date: Wed, 17 May 2023 23:02:58 -0700
Subject: [PATCH] build fix

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 8dc388c804..535f64df50 100644
--- a/Makefile
+++ b/Makefile
@@ -876,7 +876,7 @@ dist/test/c/%.c: $(ALL_KRML_FILES)
 	  -header $(HACL_HOME)/dist/LICENSE.txt \
 	  -no-prefix $(subst _,.,$*) \
           -library Hacl.P256,Hacl.K256.*,Hacl.Impl.*,EverCrypt.* \
-	  -add-include '"internal/Hacl_SHA2_Generic.h"' \
+	  -add-include '"internal/Hacl_Hash_SHA2.h"' \
 	  -static-header Hacl.Impl.SHA2.Generic \
 	  -fparentheses -fcurly-braces -fno-shadow \
 	  -minimal -add-include '"krmllib.h"' \