diff --git a/test/Makefile.inc b/test/Makefile.inc
index 3d0a43b8b660a6e338502e6ea701243a7799540c..821770eb2291ab1ca91b6df98afda8c23499efd6 100644
--- a/test/Makefile.inc
+++ b/test/Makefile.inc
@@ -29,6 +29,10 @@ test: $(TOPOLOGY).cmxs $(TOPOLOGY).lus
 verify: $(TOPOLOGY)_verify.lv4
 	kind2 -v $<
 
+%.verify: %_verify.lv4
+	kind2  $<
+
+
 $(TOPOLOGY).lus: $(TOPOLOGY).dot
 	$(D2L) $(DOT2LUSFLAGS) $<