From 9c0a95160a5460e8cbe4454ce7a7c9df1217e5e5 Mon Sep 17 00:00:00 2001
From: Félix Sipma <felix.sipma@no-log.org>
Date: Sun, 29 May 2016 18:26:31 +0200
Subject: add DebianKernel datatype

(cherry picked from commit 3590a1241580ddcdd153e2619a3c02ce18a8db8c
but without the changes to src/Propellor/Precompiled.hs)
---
 src/Propellor/Property/OS.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Propellor/Property/OS.hs')

diff --git a/src/Propellor/Property/OS.hs b/src/Propellor/Property/OS.hs
index f651ed52..d974cfbc 100644
--- a/src/Propellor/Property/OS.hs
+++ b/src/Propellor/Property/OS.hs
@@ -85,7 +85,7 @@ cleanInstallOnce confirmation = check (not <$> doesFileExist flagfile) $
 
 	osbootstrapped :: Property Linux
 	osbootstrapped = withOS (newOSDir ++ " bootstrapped") $ \w o -> case o of
-		(Just d@(System (Debian _) _)) -> ensureProperty w $
+		(Just d@(System (Debian _ _) _)) -> ensureProperty w $
 			debootstrap d
 		(Just u@(System (Buntish _) _)) -> ensureProperty w $
 			debootstrap u
-- 
cgit v1.3-2-g0d8e