From c6e956f2961a2826cdb6f2b53786d4ceef0660e4 Mon Sep 17 00:00:00 2001 From: Halid Odat Date: Tue, 22 Nov 2022 11:18:38 -0800 Subject: [PATCH] Fix clippy error --- boa_cli/src/main.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/boa_cli/src/main.rs b/boa_cli/src/main.rs index 1185de1f166..57f3cf3860a 100644 --- a/boa_cli/src/main.rs +++ b/boa_cli/src/main.rs @@ -120,6 +120,7 @@ struct Opt { value_enum, group = "graph" )] + #[allow(clippy::option_option)] flowgraph: Option>, /// Specifies the direction of the flowgraph. Default is TopToBottom.