From f5da5188171962d13b9f3eac04845dd19d0aa931 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 22 Apr 2020 08:08:21 +0200 Subject: automated writing Compiler.v --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 2f9ab029..ba8add27 100644 --- a/Makefile +++ b/Makefile @@ -100,7 +100,7 @@ BACKEND=\ ForwardMoves.v ForwardMovesproof.v \ FirstNop.v FirstNopproof.v \ Allnontrap.v Allnontrapproof.v \ - Allocation.v Allocproof.v \ + Allocation.v Allocationproof.v \ Tunneling.v Tunnelingproof.v \ Linear.v Lineartyping.v \ Linearize.v Linearizeproof.v \ -- cgit