From fc2ed3f8c69d81ae31f66b8789b7211599de84c4 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 17 Aug 2010 22:11:18 -0400 Subject: [PATCH] Fixed extra headers being duplicated --- collects/meta/web/common/layout.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/meta/web/common/layout.rkt b/collects/meta/web/common/layout.rkt index f7d8635f63..b9740a7d8c 100644 --- a/collects/meta/web/common/layout.rkt +++ b/collects/meta/web/common/layout.rkt @@ -179,8 +179,8 @@ (lambda (title* more-headers) (head "\n" (title title*) "\n" headers - "\n" more-headers - (and more-headers (list "\n" more-headers))))) + (and more-headers (list "\n" more-headers)) + "\n"))) (define (make-resources icon logo style) (let* ([favicon (html-favicon-maker icon)]