diff options
Diffstat (limited to 'Source/AIFramework/Polyhedra')
-rw-r--r-- | Source/AIFramework/Polyhedra/LinearConstraintSystem.cs | 3 | ||||
-rw-r--r-- | Source/AIFramework/Polyhedra/SimplexTableau.cs | 1 |
2 files changed, 1 insertions, 3 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
}
diff --git a/Source/AIFramework/Polyhedra/SimplexTableau.cs b/Source/AIFramework/Polyhedra/SimplexTableau.cs index 4b5eaf43..4c37e980 100644 --- a/Source/AIFramework/Polyhedra/SimplexTableau.cs +++ b/Source/AIFramework/Polyhedra/SimplexTableau.cs @@ -364,7 +364,6 @@ namespace Microsoft.AbstractInterpretationFramework { START_ANEW:
;
}
- return false; // make compiler shut up
}
}
|