From a19b25a865b2000bbd3acd909f5951a5407c1eec Mon Sep 17 00:00:00 2001
From: Sean Whitton <spwhitton@spwhitton.name>
Date: Fri, 23 Nov 2018 17:29:18 -0700
Subject: New upstream version 0.17

---
 README/Case.agda | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'README/Case.agda')

diff --git a/README/Case.agda b/README/Case.agda
index e42f55a..229acf8 100644
--- a/README/Case.agda
+++ b/README/Case.agda
@@ -22,8 +22,8 @@ pred n = case n of λ
   ; (suc n) → n
   }
 
-from-just : ∀ {a} {A : Set a} (x : Maybe A) → From-just A x
-from-just x = case x return From-just _ of λ
+from-just : ∀ {a} {A : Set a} (x : Maybe A) → From-just x
+from-just x = case x return From-just of λ
   { (just x) → x
   ; nothing  → _
   }
-- 
cgit v1.2.3