1 files changed, 0 insertions, 40 deletions
diff --git a/cil.patch/astslicer.ml.patch b/cil.patch/astslicer.ml.patch
deleted file mode 100644
index e8d0195..0000000
--- a/cil.patch/astslicer.ml.patch
+++ /dev/null
@@ -1,40 +0,0 @@
-*** ../cil/src/ext/astslicer.ml	2006-05-21 06:14:15.000000000 +0200
---- ../cil_patch/src/ext/astslicer.ml	2006-06-20 17:24:22.000000000 +0200
-***************
-*** 1,3 ****
---- 1,5 ----
-+ (* MODIF: Loop constructor replaced by 3 constructors: While, DoWhile, For. *)
-+ 
-  (*
-   *
-   * Copyright (c) 2001-2002, 
-***************
-*** 97,103 ****
---- 99,110 ----
-            Printf.fprintf out ")\n" ; 
-            incr i 
-      | Switch(_,b,_,_) 
-+ (*
-      | Loop(b,_,_,_) 
-+ *)
-+     | While(_,b,_)
-+     | DoWhile(_,b,_)
-+     | For(_,_,_,b,_)
-      | Block(b) -> 
-            emit base i st_ht s ; 
-            decr i ; 
-***************
-*** 371,377 ****
---- 378,389 ----
-          doBlock b2 base'' i'' inside ;
-          incr i
-      | Switch(_,b,_,_) 
-+ (*
-      | Loop(b,_,_,_) 
-+ *)
-+     | While(_,b,_)
-+     | DoWhile(_,b,_)
-+     | For(_,_,_,b,_)
-      | Block(b) -> 
-          let inside = check base i default in 
-          mark ws s inside ;