Boogie: Removed trailing spaces in code

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/AIFramework/MultiLattice.ssc b/Source/AIFramework/MultiLattice.ssc
index 761f4c7e..514e2548 100644
--- a/Source/AIFramework/MultiLattice.ssc
+++ b/Source/AIFramework/MultiLattice.ssc
@@ -11,7 +11,7 @@ namespace Microsoft.AbstractInterpretationFramework
     using System.Diagnostics;

     using Microsoft.AbstractInterpretationFramework.Collections;

 

-    using Microsoft.Boogie;    

+    using Microsoft.Boogie;
     using ISet = Microsoft.Boogie.Set;

 

 

@@ -39,7 +39,7 @@ namespace Microsoft.AbstractInterpretationFramework
                     {

                         newEPL[i] = (Element) ((!)otherEPL[i]).Clone();

                     }

-                    this.elementPerLattice = newEPL;          

+                    this.elementPerLattice = newEPL;
                 }

             }