From 79480cc1987a70997ba4b00862cb2efeb1946452 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Wed, 6 Apr 2022 19:27:49 +0100 Subject: Fix typo. --- yellowsquid/build/agda-build-system.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yellowsquid/build/agda-build-system.scm b/yellowsquid/build/agda-build-system.scm index 1068614..d1d2ca5 100644 --- a/yellowsquid/build/agda-build-system.scm +++ b/yellowsquid/build/agda-build-system.scm @@ -34,7 +34,7 @@ (format port "include:~%") (for-each (cut format port " ~a~%" <>) includes)) (unless (null? flags) - (format port "flag:~%") + (format port "flags:~%") (for-each (cut format port " ~a~%" <>) flags)))))) (define (parse-agda-lib filename) -- cgit v1.2.3