[Agda] How to get rid of warning

[Nils Anders Danielsson]

On 2017-12-16 12:06, Martín Hötzel Escardó wrote:
> This variable "agda2-include-dirs" is not in my .emacs. Where is it?

The following command might give you some useful information:

   (find-lisp-object-file-name 'agda2-include-dirs 'defvar)

-- 
/NAD