diff options
Diffstat (limited to 'cil/doc/examples/ex10.txt')
| -rw-r--r-- | cil/doc/examples/ex10.txt | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/cil/doc/examples/ex10.txt b/cil/doc/examples/ex10.txt deleted file mode 100644 index 7213b4c..0000000 --- a/cil/doc/examples/ex10.txt +++ /dev/null @@ -1,10 +0,0 @@ -/* Generated by CIL v. 1.3.5 */ -/* print_CIL_Input is true */ - -#line 1 "cilcode.tmp/ex10.c" -char foo[13] = -#line 1 - { (char )'f', (char )'o', (char )'o', (char )' ', - (char )'p', (char )'l', (char )'u', (char )'s', - (char )' ', (char )'b', (char )'a', (char )'r', - (char )'\000'}; |