diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-22 08:08:21 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-22 08:08:21 +0200 |
commit | f5da5188171962d13b9f3eac04845dd19d0aa931 (patch) | |
tree | f33a9ff6a347fdea43f6fa6f48c540c67abd418d /Makefile | |
parent | 25547c7d1f6a0fb75ff1d8e7287d9305e0dbf293 (diff) | |
download | compcert-kvx-f5da5188171962d13b9f3eac04845dd19d0aa931.tar.gz compcert-kvx-f5da5188171962d13b9f3eac04845dd19d0aa931.zip |
automated writing Compiler.v
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 \ |