From 57a8270accdaa14dec80b99298c99fbe310824f3 Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Wed, 16 Aug 2017 23:39:23 +0200
Subject: [PATCH] Disable ghc-typelits-knownnat #2766

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index d879c876..2e49ae03 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1682,7 +1682,7 @@ packages:
     "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
         - ghc-tcplugins-extra
         - ghc-typelits-extra
-        - ghc-typelits-knownnat
+        # - ghc-typelits-knownnat
         - ghc-typelits-natnormalise
         # - clash-prelude # GHC 8.2.1
         # - clash-lib # GHC 8.2.1