From 1701a6521a6d88dd6d286f4c6ea3ea0859aee376 Mon Sep 17 00:00:00 2001
From: Gabriel Barreto <gabriel.aquino.barreto@gmail.com>
Date: Wed, 17 Jan 2024 16:06:02 -0300
Subject: [PATCH] Char test not field dependent

---
 src/lem/tests/eval_tests.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lem/tests/eval_tests.rs b/src/lem/tests/eval_tests.rs
index 110410da5b..ed19de2a10 100644
--- a/src/lem/tests/eval_tests.rs
+++ b/src/lem/tests/eval_tests.rs
@@ -1968,7 +1968,7 @@ fn char_num() {
 #[test]
 fn char_coercion() {
     let s = &Store::<Fr>::default();
-    let expr = r#"(char (- 0 4294967200))"#;
+    let expr = r#"(char (+ 4294967296 97))"#;
     let expected_a = s.read_with_default_state(r"#\a").unwrap();
     let terminal = s.cont_terminal();
     test_aux::<Coproc<Fr>>(