summaryrefslogtreecommitdiff
path: root/bin/cuirass.in
diff options
context:
space:
mode:
Diffstat (limited to 'bin/cuirass.in')
-rw-r--r--bin/cuirass.in3
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/cuirass.in b/bin/cuirass.in
index 29db4e8..81ce9fe 100644
--- a/bin/cuirass.in
+++ b/bin/cuirass.in
@@ -130,8 +130,7 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@"
(lambda ()
(set-current-module (make-user-module '()))
(primitive-load specfile)))))
- (for-each (lambda (spec) (db-add-specification spec))
- new-specs)))
+ (for-each db-add-specification new-specs)))
(if one-shot?
(process-specs (db-get-specifications))
(let ((exit-channel (make-channel)))