From 544024abc717f4768fd7bde8327fc2718b5c94e7 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 11 Apr 2019 14:01:52 +0200
Subject: `Some` is not a builtin, it's a keyword

Closes #58
---
 dhall_core/src/core.rs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dhall_core/src/core.rs')

diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 353e5c3..1c41acc 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -149,7 +149,6 @@ pub enum Builtin {
     Text,
     List,
     Optional,
-    OptionalSome,
     OptionalNone,
     NaturalBuild,
     NaturalFold,
-- 
cgit v1.2.3