From dacb84784ab3ccb5dca5fc0f1445f752a11feafc Mon Sep 17 00:00:00 2001 From: jadep Date: Wed, 16 Jan 2019 10:49:01 -0500 Subject: remove reference to Toplevel2 in Makefile --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 4f910fdab..9a433d056 100644 --- a/Makefile +++ b/Makefile @@ -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 \ -- cgit v1.2.3