coq_nvim icon indicating copy to clipboard operation
coq_nvim copied to clipboard

Published 20 hours ago • verified publisher icon ms-jpq

Increase buffer size limit?

Open schmee opened this issue 1 year ago • 0 comments

Hello! I tried to edit https://github.com/ziglang/zig/blob/master/src/Sema.zig with coq but I got the following error:

❌ Buffer will not be indexed: size 1384704 > 333333

Is it possible to increase this limit somehow?

schmee avatar Mar 17 '23 23:03 schmee