Fix _CoqProject.

f501885f · Robbert Krebbers · cd7f2ee5 · f501885f
Commit f501885f authored Nov 29, 2018 by Robbert Krebbers
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

_CoqProject _CoqProject +1 -1

No files found.
--- a/_CoqProject
+++ b/_CoqProject
@@ -21,6 +21,6 @@ theories/tests/invoke.v
 theories/tests/unknowns.v
 theories/tests/swap.v
 theories/tests/fact.v
-theories/tests/memcpy.v
+theories/tests/array_copy.v
 theories/tests/gcd.v
 theories/tests/par_inc.v