diff --git a/zebra-state/src/service/check/tests.rs b/zebra-state/src/service/check/tests.rs
index 2257d2dd..28bad070 100644
--- a/zebra-state/src/service/check/tests.rs
+++ b/zebra-state/src/service/check/tests.rs
@@ -1,4 +1,4 @@
 //! Tests for state contextual validation checks.
 
-mod prop;
+mod nullifier;
 mod vectors;
diff --git a/zebra-state/src/service/check/tests/prop.rs b/zebra-state/src/service/check/tests/nullifier.rs
similarity index 100%
rename from zebra-state/src/service/check/tests/prop.rs
rename to zebra-state/src/service/check/tests/nullifier.rs