diff options
author | Jason Gross <jgross@mit.edu> | 2019-04-11 13:10:30 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2019-04-11 13:10:30 -0400 |
commit | f626f41c8c5df7eb4131d16f8cc6e05140fd509c (patch) | |
tree | 933316180ed220f1e06e1defdfdad5ba253b8476 /src/Rewriter.v | |
parent | 60520cd8d08f63337225c0a2938827e00a2c48a3 (diff) |
Don't include extraction .vo files in the all target
We run coqc on these files via the c-files target, which is also
included in the all target
Diffstat (limited to 'src/Rewriter.v')
0 files changed, 0 insertions, 0 deletions