From 746b4cd3895462be7959389ef39696294177e465 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 5 Mar 2020 17:29:59 +0100 Subject: fix Makefile --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 4fc94a58..e51bdb8a 100644 --- a/Makefile +++ b/Makefile @@ -89,6 +89,7 @@ BACKEND=\ CSEdomain.v CombineOp.v CSE.v CombineOpproof.v CSEproof.v \ CSE2deps.v CSE2depsproof.v \ CSE2.v CSE2proof.v \ + CSE3.v \ NeedDomain.v NeedOp.v Deadcode.v Deadcodeproof.v \ Unusedglob.v Unusedglobproof.v \ Machregs.v Locations.v Conventions1.v Conventions.v LTL.v \ -- cgit