From dea2c92017c8e4a9213023d9a5a1d0ad8afedb3b Mon Sep 17 00:00:00 2001
From: Simon Jakobi <simon.jakobi@gmail.com>
Date: Mon, 16 Sep 2019 18:52:23 +0200
Subject: [PATCH] Update Prelude.dhall to v10.0.0 (#80)

Now all the examples will build again with current versions
of dhall.
---
 Prelude.dhall | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Prelude.dhall b/Prelude.dhall
index f65a892f..6996e86a 100644
--- a/Prelude.dhall
+++ b/Prelude.dhall
@@ -25,5 +25,5 @@
 -}
 
   env:DHALL_PRELUDE
-? https://raw.githubusercontent.com/dhall-lang/dhall-lang/v6.0.0/Prelude/package.dhall sha256:e3be3dba308637ad7ab6d4ce9a11a342b087efbf2aa801c88a05a6babaae8e48
-? https://raw.githubusercontent.com/dhall-lang/dhall-lang/v6.0.0/Prelude/package.dhall
+? https://raw.githubusercontent.com/dhall-lang/dhall-lang/v10.0.0/Prelude/package.dhall sha256:771c7131fc87e13eb18f770a27c59f9418879f7e230ba2a50e46f4461f43ec69
+? https://raw.githubusercontent.com/dhall-lang/dhall-lang/v10.0.0/Prelude/package.dhall