remove FIXME

dada-lang · Feb 10, 2025 · c2b24bd · c2b24bd
1 parent 3b3fb77
commit c2b24bd
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/type_system/tests/value_type_permissions.rs b/src/type_system/tests/value_type_permissions.rs
@@ -4,7 +4,6 @@ use formality_core::test_util::ResultTestExt;
 use crate::{dada_lang::term, type_system::check_program};
 
 #[test]
-#[ignore = "FIXME, broken"]
 fn give_int_value_twice() {
     check_program(&term(
         "