From 0cc4399e20098cdf1255f862f2f262366b9283c3 Mon Sep 17 00:00:00 2001
From: Nicolas Abril <nicolas.abril@protonmail.ch>
Date: Wed, 6 Mar 2024 18:43:32 +0100
Subject: [PATCH] Remove unnecessary unstable feature

---
 src/lib.rs            | 1 -
 tests/golden_tests.rs | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/lib.rs b/src/lib.rs
index dcf16677d..8bb5723c6 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,6 +1,5 @@
 #![feature(box_patterns)]
 #![feature(let_chains)]
-#![feature(trusted_len)]
 
 use diagnostics::{Info, Warning};
 use hvmc::{
diff --git a/tests/golden_tests.rs b/tests/golden_tests.rs
index 0550b4ac1..a1abda466 100644
--- a/tests/golden_tests.rs
+++ b/tests/golden_tests.rs
@@ -266,7 +266,7 @@ fn desugar_file() {
 #[test]
 #[ignore = "to not delay golden tests execution"]
 fn hangs() {
-  let expected_normalization_time = 1;
+  let expected_normalization_time = 5;
 
   run_golden_test_dir(function_name!(), &|code, path| {
     let book = do_parse_book(code, path)?;