diff options
Diffstat (limited to 'guix/build-system/agda.scm')
-rw-r--r-- | guix/build-system/agda.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix/build-system/agda.scm b/guix/build-system/agda.scm index 64983dff60..409d0cda9d 100644 --- a/guix/build-system/agda.scm +++ b/guix/build-system/agda.scm @@ -38,7 +38,7 @@ (define %agda-build-system-modules `((guix build agda-build-system) - ,@%gnu-build-system-modules)) + ,@%default-gnu-imported-modules)) (define %default-modules '((guix build agda-build-system) |