diff options
| author | Nadrieril | 2019-04-25 14:27:15 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-25 14:27:15 +0200 |
| commit | 550ddaa95469478ce9c331da501e62534f5e2d1b (patch) | |
| tree | 5ed67f849008c5d9aafa1f9b359761ead38b1b72 /dhall/Cargo.toml | |
| parent | ff1bee1b115a5b9528be621502719cc4faeffaee (diff) | |
Revert "Try property testing against reference implementation"
This reverts commit ff1bee1b115a5b9528be621502719cc4faeffaee.
Diffstat (limited to '')
| -rw-r--r-- | dhall/Cargo.toml | 1 |
1 files changed, 0 insertions, 1 deletions
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" |