diff --git a/tests/hard_coded/Mmakefile b/tests/hard_coded/Mmakefile
index 649afbe64..539d939ce 100644
--- a/tests/hard_coded/Mmakefile
+++ b/tests/hard_coded/Mmakefile
@@ -193,6 +193,7 @@ JAVA_PASS_PROGS= \
 	brace \
 	c_write_string \
 	compare_spec \
+	constant_prop_2 \
 	contains_char \
 	constraint \
 	curry \