From b1c8e25e7756be73d16cc6dd08879f1f552ce5fc Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Fri, 27 Mar 2020 15:16:21 +0100 Subject: pass to insert a nop at start position in functions --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 623cbad4..8aa5e98a 100644 --- a/Makefile +++ b/Makefile @@ -94,6 +94,7 @@ BACKEND=\ Unusedglob.v Unusedglobproof.v \ Machregs.v Locations.v Conventions1.v Conventions.v LTL.v \ ForwardMoves.v ForwardMovesproof.v \ + FirstNop.v \ Allnontrap.v Allnontrapproof.v \ Allocation.v Allocproof.v \ Tunneling.v Tunnelingproof.v \ -- cgit