From d8b69acc45334743c848a3d8b7689729d89eaf3a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 9 Mar 2019 11:41:46 +0100
Subject: Disable Prelude tests for now

---
 Cargo.toml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Cargo.toml')

diff --git a/Cargo.toml b/Cargo.toml
index 048be44..04197e4 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,7 +7,7 @@ members = [
     "dhall_parser",
 ]
 
-# Prelude tests are too slow when not optimized
-[profile.dev]
-opt-level = 2
+# # Prelude tests are too slow when not optimized
+# [profile.dev]
+# opt-level = 2
 
-- 
cgit v1.2.3