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/printer.rs | 1 -
 1 file changed, 1 deletion(-)

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

diff --git a/dhall_core/src/printer.rs b/dhall_core/src/printer.rs
index 4f56fb6..e756eec 100644
--- a/dhall_core/src/printer.rs
+++ b/dhall_core/src/printer.rs
@@ -426,7 +426,6 @@ impl Display for Builtin {
             Text => "Text",
             List => "List",
             Optional => "Optional",
-            OptionalSome => "Some",
             OptionalNone => "None",
             NaturalBuild => "Natural/build",
             NaturalFold => "Natural/fold",
-- 
cgit v1.2.3