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;
                 }
             }