WHY=../../bin/why.opt
VO=dijkstra_valid.vo

dijkstra_why.v: dijkstra.why
	$(WHY) --coq -split-user-conj $^

include ../Makefile.common
