diff options
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);
|