From 15b255734bedf25904cbba794537ff48d91bc8d9 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Sun, 21 Aug 2016 22:09:20 +0900
Subject: [PATCH] Revert "ghc-typelits-extra < 0.2
 (clash-lang/clash-prelude#66)"

This reverts commit 46f1b377f05d882f42986bbf4f56c1e6ed0ed025.
---
 build-constraints.yaml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 9dc7ba0c..dd8dc951 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1350,8 +1350,7 @@ packages:
 
     "Christiaan Baaij <christiaan.baaij@gmail.com> @christiaanb":
         - ghc-tcplugins-extra
-        # https://github.com/clash-lang/clash-prelude/issues/66
-        - ghc-typelits-extra < 0.2
+        - ghc-typelits-extra
         - ghc-typelits-knownnat
         - ghc-typelits-natnormalise
         - clash-prelude