fix: emit variable declarations in single-hole workspaces#280

kim-em merged 1 commit into

mainleanprover/lean-eval:mainfrom

issue-276leanprover/lean-eval:issue-276Copy head branch name to clipboard