diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-02-27 14:09:19 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-02-27 14:09:21 -0500 |
| commit | 2a50d6942f8b82bf8a0d5441a256bec9a1da7afc (patch) | |
| tree | 6ef755d2c2ab9703b0c2538d9c20003533baa495 /src/NewBaseSystem.v | |
| parent | 52d5918128e9e30d4efdebe2e9fad7646311670c (diff) | |
Update _CoqProject
Version-controlled .v files should not be removed from _CoqProject. We
can filter them out in the Makefile as necessary so that they don't get
built by default, but if we desynchronize _CoqProject, then we can end
up with confusing error messages that depend on which .v.d files are
left over from previous builds.
Diffstat (limited to 'src/NewBaseSystem.v')
0 files changed, 0 insertions, 0 deletions