From 307da4d1fb744bb3c66e5a43acd7702f0ce1b7ac Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 13 Jan 2010 09:53:07 +0000 Subject: Backtracking on commit 1220 git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1228 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/c/Results/initializers | Bin 292 -> 306 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'test/c') diff --git a/test/c/Results/initializers b/test/c/Results/initializers index a1d91bc3..979eff32 100644 Binary files a/test/c/Results/initializers and b/test/c/Results/initializers differ -- cgit