diff options
Diffstat (limited to 'Source/VCGeneration/VC.cs')
| -rw-r--r-- | Source/VCGeneration/VC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index b77117ff..42626ed7 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -2010,7 +2010,7 @@ namespace VC { int bound = 1;
bool done = false;
- while (bound < 500 && !done)
+ while (bound < CommandLineOptions.Clo.RecursionBound && !done)
{
while (true)
{
|