diff options
author | 2006-04-06 09:35:46 +0000 | |
---|---|---|
committer | 2006-04-06 09:35:46 +0000 | |
commit | 2bfadd421f60863ac78076474dcbaf705b76bd3a (patch) | |
tree | 60ecebe66cfe2da0743de01c60d4ab94a425d8d5 /backend/Cminor.v | |
parent | b6e17910ddf7874e2d6d02623414674a654f9fcc (diff) |
Suppression de stmtlist et de exec_stmtlist.
Ajout de Sskip, Sseq.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@10 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/Cminor.v')
0 files changed, 0 insertions, 0 deletions