Fix apply-to proof argument round-trip printing#976

jsiek merged 1 commit into

mainjsiek/deduce:mainfrom

codex/issue-931-lib-roundtrip-slice-2jsiek/deduce:codex/issue-931-lib-roundtrip-slice-2Copy head branch name to clipboard