From 09317286fd2c5f0efaeea5224e0551acc6cbe114 Mon Sep 17 00:00:00 2001
From: Philip Potter <philip.g.potter@gmail.com>
Date: Thu, 22 Aug 2019 21:02:58 +0100
Subject: [PATCH] fix tests/typecheck/success/prelude

PR #674 added new functions to the prelude without updating this test,
which now fails.  This fixes it.
---
 tests/typecheck/success/preludeB.dhall | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/tests/typecheck/success/preludeB.dhall b/tests/typecheck/success/preludeB.dhall
index 988a9bd52..88c03eada 100644
--- a/tests/typecheck/success/preludeB.dhall
+++ b/tests/typecheck/success/preludeB.dhall
@@ -319,6 +319,16 @@
         ∀(n : Natural) → Double
     , toInteger :
         Natural → Integer
+    , lessThan :
+        Natural → Natural → Bool
+    , lessThanEqual :
+        Natural → Natural → Bool
+    , equal :
+        Natural → Natural → Bool
+    , greaterThan :
+        Natural → Natural → Bool
+    , greaterThanEqual :
+        Natural → Natural → Bool
     }
 , Optional :
     { all :