1 files changed, 8 insertions, 2 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs
index e31348a1..5117da09 100644
--- a/Source/Core/AbsyCmd.cs
+++ b/Source/Core/AbsyCmd.cs
@@ -1659,9 +1659,15 @@ namespace Microsoft.Boogie {
         errorData = value;
       }
     }
-
+    public static List<T> toList<T>(PureCollections.Sequence seq) {
+      List<T> toRet = new List<T>();
+      foreach (T t in seq)
+        if (t != null)
+          toRet.Add(t);
+      return toRet;
+    }
     public CallCmd(IToken tok, string callee, ExprSeq ins, IdentifierExprSeq outs)
-      : this(tok, callee, cce.toList<Expr>(ins), cce.toList<IdentifierExpr>(outs)) {
+      : this(tok, callee, toList<Expr>(ins), toList<IdentifierExpr>(outs)) {
       Contract.Requires(outs != null);
       Contract.Requires(ins != null);
       Contract.Requires(callee != null);