diff options
| author |  Robert Sloan <varomodt@google.com> | 2016-10-21 11:04:03 -0700 |
|---|---|---|
| committer | Robert Sloan <varomodt@google.com> | 2016-10-21 13:17:29 -0700 |
| commit | 4225439aa82294a6d2a56fc4f622dc318e69529f (patch) | |
| tree | 36407708a04d56ed2a0e1f777feed184be5e2d4f /_CoqProject | |
| parent | ff878dbde61374e42235b10d85c5fec2ab22e7d1 (diff) | |
committing unstable refactors to patch master
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 69c197695..f40ae6199 100644 --- a/_CoqProject +++ b/_CoqProject @@ -3,7 +3,6 @@ Bedrock/Nomega.v Bedrock/Word.v src/Algebra.v -src/Assembly/Bounded.v src/Assembly/Bounds.v src/Assembly/Compile.v src/Assembly/Conversions.v |