1 files changed, 1 insertions, 2 deletions
diff --git a/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
index c259febe..b6ce193a 100644
--- a/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
+++ b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
@@ -156,7 +156,6 @@ namespace Microsoft.AbstractInterpretationFramework {
       FrameVertices = null;
       FrameRays = null;
       FrameLines = null;
-      IMutableSet ss;
       FrameDimensions.Clear();  // no implicit lines
     }
 
@@ -672,7 +671,7 @@ namespace Microsoft.AbstractInterpretationFramework {
       CHECK_NEXT_CONSTRAINT: {
         }
 #if DEBUG_PRINT
-        Console.WriteLine("Widen checking: done with that constraint");
+        Console.WriteLine("Widen checking: done with that constraint");
 #endif
       }