diff options
author | Robert Sloan <varomodt@gmail.com> | 2016-06-23 17:53:07 -0400 |
---|---|---|
committer | Robert Sloan <varomodt@gmail.com> | 2016-06-23 17:53:07 -0400 |
commit | d7343aa3e4d895155a50bfe5ce891843c290c758 (patch) | |
tree | 6cd89a53357fc626a64d7a59836c1fd1ed65924e /_CoqProject | |
parent | 946ec0e173c467d43ba57748d2a59feb95d7d445 (diff) |
Remove unstable Pipeline.v examples from _CoqProject
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 79751c731..d2a0c9267 100644 --- a/_CoqProject +++ b/_CoqProject @@ -58,7 +58,6 @@ src/Assembly/Qhasm.v src/Assembly/PseudoConversion.v src/Assembly/AlmostConversion.v src/Assembly/StringConversion.v -src/Assembly/Pipeline.v src/Assembly/Vectorize.v src/Assembly/Wordize.v src/Assembly/Pseudize.v |