1 files changed, 0 insertions, 16 deletions
diff --git a/cil/doc/examples/ex22.txt b/cil/doc/examples/ex22.txt
deleted file mode 100644
index 2224e7c..0000000
--- a/cil/doc/examples/ex22.txt
+++ /dev/null
@@ -1,16 +0,0 @@
-/* Generated by CIL v. 1.3.5 */
-/* print_CIL_Input is true */
-
-#line 327 "/usr/include/stdio.h"
-extern int printf(char const   * __restrict  __format  , ...) ;
-#line 7 "cilcode.tmp/ex22.c"
-int main(void) 
-{ 
-
-  {
-#line 9
-  printf((char const   * __restrict  )"Hello world\n");
-#line 10
-  return (0);
-}
-}