diff options
| -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) |