Remove unused variables

cil-project · May 27, 2014 · 2647877 · 2647877
1 parent 53b3da6
commit 2647877
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/cil.ml b/src/cil.ml
@@ -5113,15 +5113,15 @@ let doVisit (vis: cilVisitor)
 let mapNoCopy (f: 'a -> 'a) l =
   let rec aux acc changed = function
     [] -> if changed then List.rev acc else l
-  | (i :: resti) as li -> 
+  | i :: resti -> 
       let i' = f i in
       aux (i' :: acc) (changed || i != i') resti
   in aux [] false l
 
 let rec mapNoCopyList (f: 'a -> 'a list) l =
   let rec aux acc changed = function
     [] -> if changed then List.rev acc else l
-  | (i :: resti) as li -> 
+  | i :: resti -> 
       let il' = f i in
       let has_changed =
         match il' with