Commit 0580dbc5 authored by Simon Friis Vindum's avatar Simon Friis Vindum

Fix makefile

parent 91723bb8
......@@ -29,5 +29,5 @@ logatom: $(filter theories/logatom/%,$(VOFILES))
array-based_queuing_lock: $(filter theories/array_based_queuing_lock/%,$(VOFILES))
.PHONY: array-based_queuing_lock
proph: $(filter theories/array_based_queuing_lock/%,$(VOFILES))
.PHONY: array-based_queuing-lock
proph: $(filter theories/proph/%,$(VOFILES))
.PHONY: proph
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment