diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2015-09-18 00:19:06 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2015-09-18 00:19:06 -0400 |
| commit | f8e43aead0d6aec47c0d55af0bf01dcbfcc1e468 (patch) | |
| tree | ef2c9c87a824b91356442bb224a8f9ce441b4a08 /_CoqProject | |
| parent | bef57ecff64515be2741da3e3e780a19af56b956 (diff) | |
makefile dependency order
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/_CoqProject b/_CoqProject index 131ba118e..e92fb56e0 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,8 +1,8 @@ -R src Crypto -R fiat/src Fiat +src/Tactics/VerdiTactics.v src/Galois/GaloisField.v src/Galois/GaloisFieldTheory.v -src/Curves/Curve25519.v src/Curves/PointFormats.v +src/Curves/Curve25519.v src/Assembly/Assembly.v -src/Tactics/VerdiTactics.v |