Remove unused error

This commit is contained in:
d0cd 2022-10-16 11:56:12 -07:00
parent 21a015ede4
commit 25a15aae75

View File

@ -228,13 +228,6 @@ create_messages!(
help: Some("Remove whitespace between the `@` symbol and the identifier.".to_string()),
}
@formatted
finalize_without_async {
args: (),
msg: "A finalize statement must be preceded by the `async` keyword.",
help: Some("Add the `async` keyword before the `finalize` keyword.".to_string()),
}
@formatted
circuit_is_deprecated {
args: (),