From 82d62c4d7d423817a4fd9d6294d27d18d60bcd22 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 11 Apr 2019 13:11:52 +0200
Subject: Add basic deserialization support

Closes #13
---
 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 39dea37..03a34f1 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -3,7 +3,6 @@ use crate::*;
 use std::collections::BTreeMap;
 use std::rc::Rc;
 
-pub type Int = isize;
 pub type Integer = isize;
 pub type Natural = usize;
 pub type Double = NaiveDouble;
-- 
cgit v1.2.3