From 550ddaa95469478ce9c331da501e62534f5e2d1b Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Apr 2019 14:27:15 +0200
Subject: Revert "Try property testing against reference implementation"

This reverts commit ff1bee1b115a5b9528be621502719cc4faeffaee.
---
 dhall/Cargo.toml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dhall/Cargo.toml')

diff --git a/dhall/Cargo.toml b/dhall/Cargo.toml
index e2f3f6b..de2ab7c 100644
--- a/dhall/Cargo.toml
+++ b/dhall/Cargo.toml
@@ -19,7 +19,6 @@ dhall_generator = { path = "../dhall_generator" }
 [dev-dependencies]
 pretty_assertions = "0.6.1"
 stacker = "0.1.5"
-proptest = "0.9.2"
 
 [build-dependencies]
 walkdir = "2"
-- 
cgit v1.2.3