Added missing double quote

model-checking · Nov 27, 2023 · a50835b · a50835b
1 parent d3c5278
commit a50835b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>,
 }