From c2e2cf80ac53b22d8c0b42cf73e4166b10f2ee78 Mon Sep 17 00:00:00 2001
From: Stuart Pernsteiner <spernsteiner@galois.com>
Date: Wed, 18 Dec 2024 16:11:26 -0800
Subject: [PATCH] synthesis: pass --auto-search-prefix to proverbot

---
 coq-synthesis-vscode/src/extension.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coq-synthesis-vscode/src/extension.ts b/coq-synthesis-vscode/src/extension.ts
index a576454..778870c 100644
--- a/coq-synthesis-vscode/src/extension.ts
+++ b/coq-synthesis-vscode/src/extension.ts
@@ -249,6 +249,7 @@ export function activate(context: vscode.ExtensionContext) {
                     '--proof-line', (1 + proofLine).toString(),
                     '--no-generate-report',
                     '--no-resume',
+                    '--auto-search-prefix',
                 ],
                 'cwd': parentDir,
                 'env': extraEnv,