From 3e16d452aacb618e3b5fd61510fa17131a81e6e9 Mon Sep 17 00:00:00 2001
From: Robin Salkeld <salkeldr@amazon.com>
Date: Wed, 18 Dec 2024 09:36:49 -0800
Subject: [PATCH] Revert

---
 TestModels/dafny-dependencies/StandardLibrary/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/TestModels/dafny-dependencies/StandardLibrary/Makefile b/TestModels/dafny-dependencies/StandardLibrary/Makefile
index 31f304c34..17b86032c 100644
--- a/TestModels/dafny-dependencies/StandardLibrary/Makefile
+++ b/TestModels/dafny-dependencies/StandardLibrary/Makefile
@@ -25,7 +25,7 @@ else
 endif
 
 # Overriding this target just to generate the project.properties file.
-polymorph_dafny: build_dafny_stdlibs
+polymorph_dafny:
 	cd $(CODEGEN_CLI_ROOT); \
 	$(GRADLEW) run --args="\
 	--library-root $(LIBRARY_ROOT) \