synthesis: pass --auto-search-prefix to proverbot

GaloisInc · Dec 19, 2024 · c2e2cf8 · c2e2cf8
1 parent 99c59f7
commit c2e2cf8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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,