From a50835b7333e72a38df8310c04f7daeb0a613ef1 Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Mon, 27 Nov 2023 13:28:09 -0800
Subject: [PATCH] Added missing double quote

---
 boogie_ast/src/boogie_program/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boogie_ast/src/boogie_program/mod.rs b/boogie_ast/src/boogie_program/mod.rs
index ac2f62d1ff75..ffd3960e10b1 100644
--- a/boogie_ast/src/boogie_program/mod.rs
+++ b/boogie_ast/src/boogie_program/mod.rs
@@ -200,7 +200,7 @@ pub struct Function {
     return_type: Type,
     // a body is optional (e.g. SMT built-ins)
     body: Option<Expr>,
-    // Boogie attributes, e.g. `{:bvbuiltin "bvnot}`
+    // Boogie attributes, e.g. `{:bvbuiltin "bvnot"}`
     attributes: Vec<String>,
 }