diff --git a/third_party/fiat/METADATA b/third_party/fiat/METADATA index bae0285b4..2d6242d14 100644 --- a/third_party/fiat/METADATA +++ b/third_party/fiat/METADATA @@ -1,6 +1,6 @@ name: "fiat" description: - "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives". + "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives." third_party { url {