Char test not field dependent

argumentcomputer · Jan 17, 2024 · 1701a65 · 1701a65
1 parent e23bfc0
commit 1701a65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>>(