[Agda] How to get rid of warning
Nils Anders Danielsson
nad at cse.gu.se
Thu Dec 21 09:45:33 CET 2017
On 2017-12-20 22:29, Nils Anders Danielsson wrote:
> The following command might give you some useful information:
>
> (find-lisp-object-file-name 'agda2-include-dirs 'defvar)
The methods described in the answers to the following Emacs Stack
Exchange question are perhaps more likely to work:
https://emacs.stackexchange.com/questions/27962/tracking-down-a-write-to-a-variable
--
/NAD
More information about the Agda
mailing list