1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/Compiler.cs b/Dafny/Compiler.cs
index d0e0cb0e..b49c011f 100644
--- a/Dafny/Compiler.cs
+++ b/Dafny/Compiler.cs
@@ -1367,7 +1367,7 @@ namespace Microsoft.Dafny {
         Type elType = cce.NonNull((MultiSetType)e.Type).Arg;
         wr.Write("{0}<{1}>.FromElements", DafnyMultiSetClass, TypeName(elType));
         TrExprList(e.Elements);
-        
+
       } else if (expr is SeqDisplayExpr) {
         SeqDisplayExpr e = (SeqDisplayExpr)expr;
         Type elType = cce.NonNull((SeqType)e.Type).Arg;