diff --git a/TestVectors/Makefile b/TestVectors/Makefile index 897362cc0..e0af17d84 100644 --- a/TestVectors/Makefile +++ b/TestVectors/Makefile @@ -236,7 +236,6 @@ test_decrypt_encrypt_vectors_rust: cd ../../ test_decrypt_encrypt_vectors_go: - ls runtimes/go/ && \ go -C runtimes/go/ImplementationFromDafny-go run ImplementationFromDafny.go decrypt --manifest-path=.. --manifest-name decrypt-manifest.json _polymorph_dependencies: