Commit 85e337c2 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Fix _CoqProject.

parent 6b41f71f
......@@ -8,5 +8,5 @@ theories/channel/proto_model.v
theories/channel/proto_channel.v
theories/examples/list_sort.v
theories/examples/list_sort_instances.v
theories/examples/list_sort_elem.v
theories/examples/loop_sort.v
theories/examples/loop_sort.v
\ No newline at end of file
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