diff options
| author |  rustanleino <unknown> | 2010-10-12 00:13:50 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-10-12 00:13:50 +0000 |
| commit | 4fc18b2fe45c9a29cb0b8fe93d3102cec9c83194 (patch) | |
| tree | a324eff1a6d8266938943a038450ce4eb790810b /Source/AIFramework/Polyhedra/SimplexTableau.cs | |
| parent | c830dff64feadac2f6aa8e0f2a7e647bf3d690f1 (diff) | |
Boogie:
* enhanced the printing of captured states
* addressed some warnings issued by VS 2010
* some code formatting
Diffstat (limited to 'Source/AIFramework/Polyhedra/SimplexTableau.cs')
| -rw-r--r-- | Source/AIFramework/Polyhedra/SimplexTableau.cs | 1 |
1 files changed, 0 insertions, 1 deletions
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
}
}
|