From 2a7c3b95ea4fe28a6c4cd1c5b12e3bdbb6b75204 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 2 Jul 2018 20:47:27 -0400 Subject: Remove another thing from the lite target --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index f9d64ac83..2cb11476c 100644 --- a/Makefile +++ b/Makefile @@ -87,6 +87,7 @@ LITE_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo \ src/Specific/X25519/C32/fe%.vo \ src/Experiments/NewPipeline/Toplevel2.vo \ src/Experiments/NewPipeline/SlowPrimeSynthesisExamples.vo \ + src/Experiments/SimplyTypedArithmetic.vo \ $(SPECIFIC_GENERATED_VOFILES) NOBIGMEM_UNMADE_VOFILES := \ src/Curves/Weierstrass/AffineProofs.vo \ -- cgit v1.2.3