(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-highlight-add-annotations 'nil '(1 58 (comment) t) '(60 64 (keyword) t) '(65 71 (keyword) t) '(95 138 (comment) t) '(139 143 (keyword) t) '(144 150 (keyword) t) '(174 217 (comment) t))
(agda2-highlight-add-annotations 'nil '(72 87 (module) nil nil ("Issue2574Import.agda" . 1)) '(151 171 (module) nil nil ("Issue2574ImportBlank.agda" . 1)))
(agda2-highlight-add-annotations 'nil '(60 64 (keyword) t) '(65 71 (keyword) t) '(72 87 (module) nil nil ("Issue2574Import.agda" . 1)))
(agda2-highlight-add-annotations 'nil '(139 143 (keyword) t) '(144 150 (keyword) t) '(151 171 (module) nil nil ("Issue2574ImportBlank.agda" . 1)))
(agda2-highlight-add-annotations 'nil '(1 58 (comment) t) '(95 138 (comment) t) '(174 217 (comment) t))
(agda2-status-action "Checked")
(agda2-info-action "*All Done*" "" nil)
((last . 1) . (agda2-goals-action '()))
