branch master updated: gnu: agda.scm: Add missing import.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

efraim pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 2e0d02ebe3 gnu: agda.scm: Add missing import.
2e0d02ebe3 is described below

commit 2e0d02ebe351024cd97911cb1e5e1a6af1edc7f0
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Thu May 12 08:42:09 2022 +0300

    gnu: agda.scm: Add missing import.
    
    * gnu/packages/agda.scm: Also use (guix gexp).
---
 gnu/packages/agda.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 87e787b72d..038b38195f 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -29,6 +29,7 @@
   #:use-module (guix build-system gnu)
   #:use-module (guix build-system haskell)
   #:use-module (guix build-system trivial)
+  #:use-module (guix gexp)
   #:use-module (guix download)
   #:use-module (guix git-download)
   #:use-module ((guix licenses) #:prefix license:)