Re: [O] cache and lint

[Nicolas Goaziou]

Hello,

Andreas Leha <address@hidden> writes:

> I just had an error (something including "search" and "wrong side" ...)
> during org-lint.  As it turned out this error went away after I ran
> `org-element-cache-reset'.  Hence my question: Would it make sense to
> include running `org-element-cache-reset' into `org-lint'?

I don't think this should be the default, no. This will delete useful
information.

The cache bug leading to the error should be fixed, tho.


Regards,

-- 
Nicolas Goaziou