diff options
| author |  wuestholz <unknown> | 2015-02-18 13:24:48 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2015-02-18 13:24:48 +0100 |
| commit | 057555507c62120356f8eb22f7ec050c47983ad4 (patch) | |
| tree | e3ff29186a02c926a658e9ddaace5d3cb35df490 /Source/Core | |
| parent | 2adff68a1579de5ba40c8b8713fc75a383e1ff91 (diff) | |
Eliminated calls to deprecated method.
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index bd4c7a91..bbdccda9 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -1204,7 +1204,7 @@ namespace Microsoft.Boogie { case "p":
case "proverOpt":
if (ps.ConfirmArgumentCount(1)) {
- AddProverOption(cce.NonNull(args[ps.i]));
+ ProverOptions = ProverOptions.Concat1(cce.NonNull(args[ps.i]));
}
return true;
|