diff options
| -rw-r--r-- | Source/Core/Util.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs index 6ed01e7f..d0d8693a 100644 --- a/Source/Core/Util.cs +++ b/Source/Core/Util.cs @@ -48,6 +48,11 @@ namespace Microsoft.Boogie { l.RemoveRange(l.Count - count, count);
return l;
}
+
+ public static void Iter<T>(this IEnumerable<T> coll, Action<T> fn)
+ {
+ foreach (var e in coll) fn(e);
+ }
}
public class TokenTextWriter : IDisposable {
|