1 files changed, 2 insertions, 2 deletions
diff --git a/Source/AIFramework/VariableMap/ConstantAbstraction.ssc b/Source/AIFramework/VariableMap/ConstantAbstraction.ssc
index 97fb57ce..8ba3065f 100644
--- a/Source/AIFramework/VariableMap/ConstantAbstraction.ssc
+++ b/Source/AIFramework/VariableMap/ConstantAbstraction.ssc
@@ -67,13 +67,13 @@ namespace Microsoft.AbstractInterpretationFramework
         public override bool IsTop (Element! element)
         { 
             Elt e = (Elt)element;
-            return e.domainValue == Value.Top; 
+            return e.domainValue == Value.Top;
         }
 
         public override bool IsBottom    (Element! element)
         {
             Elt e = (Elt)element;
-            return e.domainValue == Value.Bottom; 
+            return e.domainValue == Value.Bottom;
         }
 
         public override Element! NontrivialJoin (Element! first, Element! second)