From a53bfcfb00afcc86e185779168c164e4f87c141b Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 6 Apr 2022 18:11:43 +0100
Subject: Add missing unquotation.

---
 yellowsquid/build-system/agda.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/yellowsquid/build-system/agda.scm b/yellowsquid/build-system/agda.scm
index d77bd1b..b590bdf 100644
--- a/yellowsquid/build-system/agda.scm
+++ b/yellowsquid/build-system/agda.scm
@@ -47,7 +47,7 @@
                          '())
                     ,@native-inputs
                     ,@(if target '() inputs)
-                    ("agda" agda)
+                    ("agda" ,agda)
                     ,@(standard-packages)))
     (host-inputs (if target inputs '()))
     (outputs outputs)
-- 
cgit v1.2.3