Skip to content

Commit a851caf

Browse files
rishav-karanjitrishav-karanjit
committed
fix makefile
1 parent 1a139c3 commit a851caf

File tree

10 files changed

+1
-2217
lines changed

10 files changed

+1
-2217
lines changed

‎TestVectors/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -139,7 +139,7 @@ purge_polymorph_code:
139139
runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes \
140140
runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyDbEncryptionSdkDynamoDbService \
141141
runtimes/go/TestsFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated \
142-
runtimes/go/TestsFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes \ 
142+
runtimes/go/TestsFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes \
143143
runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyDbEncryptionSdkDynamoDbService
144144

145145

‎TestVectors/runtimes/go/PermTest.json

Lines changed: 0 additions & 222 deletions
This file was deleted.

0 commit comments

Comments
 (0)