From 0ece34c97557c79a99e113559c5c38011c3015b3 Mon Sep 17 00:00:00 2001
From: Mikhail Glushenkov <mikhail.glushenkov@gmail.com>
Date: Sun, 28 Aug 2016 23:49:08 +0100
Subject: [PATCH] Fix a whitespace error.

It broke the build, see
https://github.com/fpco/stackage/pull/1820#issuecomment-243003558.
---
 debian-bootstrap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index ee23b880..ab6e01ea 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -36,7 +36,7 @@ apt-get install -y \
     build-essential \
     ghc-$GHCVER \
     ghc-$GHCVER-dyn \
-    ghc-$GHCVER-prof \    
+    ghc-$GHCVER-prof \
     ghc-$GHCVER-htmldocs \
     hscolour \
     sudo \