From 05f9369c759ecd957585feec6659e3c05e313a11 Mon Sep 17 00:00:00 2001 From: blazy Date: Wed, 4 Jul 2012 16:26:51 +0000 Subject: Ajout trunk CompCert git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1955 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cfrontend/SimplExpr.v | 6 ------ 1 file changed, 6 deletions(-) (limited to 'cfrontend/SimplExpr.v') diff --git a/cfrontend/SimplExpr.v b/cfrontend/SimplExpr.v index 3144b65e..f1b31ac5 100644 --- a/cfrontend/SimplExpr.v +++ b/cfrontend/SimplExpr.v @@ -456,9 +456,3 @@ Definition transl_fundef (fd: C.fundef) : res fundef := Definition transl_program (p: C.program) : res program := transform_partial_program transl_fundef p. - - - - - - -- cgit