1 files changed, 0 insertions, 42 deletions
diff --git a/cil/doc/examples/ex19.txt b/cil/doc/examples/ex19.txt
deleted file mode 100644
index 3b82868..0000000
--- a/cil/doc/examples/ex19.txt
+++ /dev/null
@@ -1,42 +0,0 @@
-/* Generated by CIL v. 1.3.5 */
-/* print_CIL_Input is true */
-
-#line 1 "cilcode.tmp/ex19.c"
-int main(void) 
-{ int x ;
-  int i ;
-
-  {
-#line 2
-  i = 0;
-#line 2
-  while (i < 5) {
-#line 3
-    if (i == 5) {
-      goto __Cont;
-    }
-#line 4
-    if (i == 4) {
-#line 4
-      break;
-    }
-#line 5
-    i += 2;
-    __Cont: /* CIL Label */ 
-#line 2
-    i ++;
-  }
-#line 7
-  while (x < 5) {
-#line 8
-    if (x == 3) {
-#line 8
-      continue;
-    }
-#line 9
-    x ++;
-  }
-#line 11
-  return (0);
-}
-}