diff options
| author |  qadeer <unknown> | 2015-01-16 10:09:26 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2015-01-16 10:09:26 -0800 |
| commit | 214b1a07c44d10eac99200147fe46e57a0297513 (patch) | |
| tree | 69b4217d2d96c23f822f9b563b88b8d57ccccfb2 /Source/Core/VCExp.cs | |
| parent | 2358c4a57c4fa3bd21fe97f5000f321a78534694 (diff) | |
| parent | 007a11fe5e8deda771ea4215557ad7143c8d608c (diff) | |
Merge
Diffstat (limited to 'Source/Core/VCExp.cs')
| -rw-r--r-- | Source/Core/VCExp.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/VCExp.cs b/Source/Core/VCExp.cs index 5a8100a7..87b8f3e6 100644 --- a/Source/Core/VCExp.cs +++ b/Source/Core/VCExp.cs @@ -81,7 +81,7 @@ The generic options may or may not be used by the prover plugin. }
}
- public virtual void Parse(List<string/*!*/>/*!*/ opts) {
+ public virtual void Parse(IEnumerable<string/*!*/>/*!*/ opts) {
Contract.Requires(cce.NonNullElements(opts));
StringBuilder sb = new StringBuilder(stringRepr);
Contract.Assert(sb != null);
|