diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-04-06 19:27:49 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-04-06 19:27:49 +0100 |
| commit | 79480cc1987a70997ba4b00862cb2efeb1946452 (patch) | |
| tree | 4f96e201e0b10393bead15b881ce8191ec916ef8 | |
| parent | e7579f8bd62c666de42b161ba23e14fdc1946bf5 (diff) | |
Fix typo.
| -rw-r--r-- | yellowsquid/build/agda-build-system.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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) |