diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-24 10:10:14 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-24 10:10:14 +0200 |
commit | 8d3dbd3636fbb6a056f5506be8ee2d8839c1aea2 (patch) | |
tree | bc1cb43e67fcfc7d1d1369e39936a5e78093c77c /backend/Regalloc.ml | |
parent | 4e2fb826bd95e3f32459f1845948f37add3cbdb9 (diff) | |
download | compcert-8d3dbd3636fbb6a056f5506be8ee2d8839c1aea2.tar.gz compcert-8d3dbd3636fbb6a056f5506be8ee2d8839c1aea2.zip |
ia32/Conventions1: remove commented-out proof attempt
Diffstat (limited to 'backend/Regalloc.ml')
0 files changed, 0 insertions, 0 deletions