*** ../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 ;