cpitclaudel/company-coq

jump to definition fails for constructors of Variants

aa755 opened this issue · 0 comments

aa755 commented

It works fine for constructors of Inductives