diff options
| author |  jadep <jade.philipoom@gmail.com> | 2019-01-16 10:49:01 -0500 |
|---|---|---|
| committer | jadephilipoom <jade.philipoom@gmail.com> | 2019-01-17 09:45:41 +0000 |
| commit | dacb84784ab3ccb5dca5fc0f1445f752a11feafc (patch) | |
| tree | c11808db3a2a8796f5d38cc447f1a774b692778e /Makefile | |
| parent | 071aced1a9a513dd945aed35be6eb1552ab557a5 (diff) | |
remove reference to Toplevel2 in Makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -51,8 +51,7 @@ LITE_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo \ src/RewriterWf1.vo \ src/RewriterWf2.vo \ src/RewriterRulesGood.vo \ - src/RewriterProofs.vo \ - src/Toplevel2.vo + src/RewriterProofs.vo NOBIGMEM_UNMADE_VOFILES := \ src/Curves/Weierstrass/AffineProofs.vo \ src/Curves/Weierstrass/Jacobian.vo \ |