We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3df8cd3 commit 6071b9dCopy full SHA for 6071b9d
SharedMakefile.mk
@@ -15,7 +15,7 @@ VERIFY_TIMEOUT := 250
15
16
verify:DAFNY_OPTIONS=--allow-deprecation --allow-external-contracts
17
verify_single:DAFNY_OPTIONS=--allow-deprecation --allow-external-contracts
18
-verify_service:DAFNY_OPTIONS=--allow-deprecation --allow-external-contractsv
+verify_service:DAFNY_OPTIONS=--allow-deprecation --allow-external-contracts
19
20
transpile_implementation_net: DAFNY_OPTIONS=--allow-warnings --compile-suffix --legacy-module-names --allow-external-contracts
21
transpile_test_net: DAFNY_OPTIONS=--allow-warnings --include-test-runner --compile-suffix --legacy-module-names --allow-external-contracts
0 commit comments