Re: [O] cache and lint

2015-12-17 Thread Andreas Leha
Hi Nicolas, Nicolas Goaziou writes: > Hello, > > Andreas Leha 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 >> in

Re: [O] cache and lint

2015-12-17 Thread Nicolas Goaziou
Hello, Andreas Leha 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 `or

[O] cache and lint

2015-12-17 Thread Andreas Leha
Hi all, 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'? Best, Andreas