m

ajewellamz · ajewellamz · commit e57addee288c · 2024-05-16T15:48:54.000-04:00
diff --git a/SharedMakefile.mk b/SharedMakefile.mk
@@ -9,6 +9,6 @@ PROJECT_ROOT := $(abspath $(dir $(abspath $(lastword $(MAKEFILE_LIST)))))
 SMITHY_DAFNY_ROOT := $(PROJECT_ROOT)/submodules/smithy-dafny
 GRADLEW := ./runtimes/java/gradlew
 
-VERIFY_TIMEOUT := 150
-
 include $(SMITHY_DAFNY_ROOT)/SmithyDafnyMakefile.mk
+
+VERIFY_TIMEOUT := 150
