From 5ba54a40006054a802d7ab82b0f66b1c63fcc520 Mon Sep 17 00:00:00 2001
From: Tom French <tom@tomfren.ch>
Date: Mon, 3 Apr 2023 15:56:52 +0100
Subject: [PATCH] feat(nargo): remove misleading quotes in generated
 `Prover.toml`

---
 crates/nargo_cli/src/cli/check_cmd.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/crates/nargo_cli/src/cli/check_cmd.rs b/crates/nargo_cli/src/cli/check_cmd.rs
index 56f54347bd5..434d1d1a86e 100644
--- a/crates/nargo_cli/src/cli/check_cmd.rs
+++ b/crates/nargo_cli/src/cli/check_cmd.rs
@@ -66,12 +66,12 @@ fn check_from_path<P: AsRef<Path>>(p: P, compile_options: &CompileOptions) -> Re
 fn build_placeholder_input_map(
     parameters: Vec<AbiParameter>,
     return_type: Option<AbiType>,
-) -> BTreeMap<String, &'static str> {
-    let default_value = |typ: AbiType| {
+) -> BTreeMap<String, toml::Value> {
+    let default_value = |typ: AbiType| -> toml::Value {
         if matches!(typ, AbiType::Array { .. }) {
-            "[]"
+            toml::Value::Array(Vec::new())
         } else {
-            ""
+            toml::Value::String("".to_owned())
         }
     };