From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 10:25:25 +0000 Subject: Getting rid of CIL git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/examples/ex34.txt | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 cil/doc/examples/ex34.txt (limited to 'cil/doc/examples/ex34.txt') diff --git a/cil/doc/examples/ex34.txt b/cil/doc/examples/ex34.txt deleted file mode 100644 index 494ca916..00000000 --- a/cil/doc/examples/ex34.txt +++ /dev/null @@ -1,15 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex34.c" -struct __anonstruct_nested_2 { - int y ; - int z ; -}; -#line 1 "cilcode.tmp/ex34.c" -struct __anonstruct_i_1 { - int x ; - struct __anonstruct_nested_2 nested ; -}; -#line 1 "cilcode.tmp/ex34.c" -struct __anonstruct_i_1 i = {1, {2, 6}}; -- cgit