Commit 2d0e347a authored by Simon Friis Vindum's avatar Simon Friis Vindum

Add ending newline to _CoqProject

parent 10132c36
......@@ -109,4 +109,4 @@ theories/proph/clairvoyant_coin_spec.v
theories/proph/clairvoyant_coin.v
theories/proph/clairvoyant_coin_typed.v
theories/array_based_queuing_lock/abql.v
\ No newline at end of file
theories/array_based_queuing_lock/abql.v
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