1 files changed, 2 insertions, 1 deletions
diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 9f7e57cf..a1a54024 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -4129,6 +4129,7 @@ namespace Microsoft.Boogie {
   }
 
   public static class Emitter {
+
     public static void Emit(this List<Declaration/*!*/>/*!*/ decls, TokenTextWriter stream) {
       Contract.Requires(stream != null);
       Contract.Requires(cce.NonNullElements(decls));
@@ -4156,7 +4157,7 @@ namespace Microsoft.Boogie {
       }
     }
 
-    public static void Emit(this List<Expr> ts, TokenTextWriter stream) {
+    public static void Emit(this IList<Expr> ts, TokenTextWriter stream) {
       Contract.Requires(stream != null);
       string sep = "";
       stream.push();