Use neutral quoted module path fixture - #6

Use neutral quoted module path fixture#6

kim-em merged 1 commit into

mainleanprover/lean-eval-generator:mainfrom

cleanup/neutral-module-path-fixtureleanprover/lean-eval-generator:cleanup/neutral-module-path-fixtureCopy head branch name to clipboard