From f680a3221c7475fae413a260d739cf8e0025081d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 7 Apr 2019 14:23:50 +0200
Subject: Fix

---
 dhall/src/binary.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dhall/src/binary.rs b/dhall/src/binary.rs
index 1ba1873..87972cf 100644
--- a/dhall/src/binary.rs
+++ b/dhall/src/binary.rs
@@ -29,6 +29,7 @@ fn cbor_value_to_dhall(data: &cbor::Value) -> Result<ParsedExpr, DecodeError> {
                 "False" => BoolLit(false),
                 "Type" => Const(Const::Type),
                 "Kind" => Const(Const::Kind),
+                "Sort" => Const(Const::Sort),
                 s => Var(V(Label::from(s), 0)),
             },
         },
-- 
cgit v1.2.3