(agda2-info-action "*Error*" "issue1785.libs:1: Failed to read library file /. Reason: /: openBinaryFile: inappropriate type (is a directory) " nil)
(agda2-highlight-load-and-delete-action)
(agda2-status-action "")
