diff options
| author | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-04 17:49:38 +0200 |
|---|---|---|
| committer | Pierre Goutagny <pierre.goutagny@ens-lyon.fr> | 2021-06-04 17:49:38 +0200 |
| commit | deac4407cacb45efa56adf912bd9db32235984f5 (patch) | |
| tree | 0e35c015bab181ddbb5ff58e4e7ec9150f7208d6 /Makefile | |
| parent | 731d22f1b917a3e55deb82505fc5f981b4a37bcc (diff) | |
| download | compcert-kvx-deac4407cacb45efa56adf912bd9db32235984f5.tar.gz compcert-kvx-deac4407cacb45efa56adf912bd9db32235984f5.zip | |
Add RTLTunnelingproof.v
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -144,7 +144,7 @@ BACKEND=\ Allnontrap.v Allnontrapproof.v \ Allocation.v Allocationproof.v \ Tunneling.v Tunnelingproof.v \ - RTLTunneling.v \ + RTLTunneling.v RTLTunnelingproof.v \ Linear.v Lineartyping.v \ Linearize.v Linearizeproof.v \ CleanupLabels.v CleanupLabelsproof.v \ |