diff options
Diffstat (limited to 'Source/VCGeneration/StratifiedVC.cs')
| -rw-r--r-- | Source/VCGeneration/StratifiedVC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs index 557f7d41..85ceb8e3 100644 --- a/Source/VCGeneration/StratifiedVC.cs +++ b/Source/VCGeneration/StratifiedVC.cs @@ -2364,7 +2364,7 @@ namespace VC var args = new List<int>();
if (expr is VCExprIntLit)
{
- args.Add(errModel.valueToPartition[(expr as VCExprIntLit).Val.ToInt]);
+ args.Add(errModel.valueToPartition[(expr as VCExprIntLit).Val]);
}
else if (expr is VCExprVar)
{
|