diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-24 12:25:11 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-24 12:25:11 +0100 |
| commit | 33afafa2bfdd4de19194734b395b2ff1da756f1e (patch) | |
| tree | 3ed66902921925d9ea7cb69156da6fe53db9cfb1 /Source/Model | |
| parent | e599209547cabdd5c9663938edec016117e14280 (diff) | |
Remove dead method argument
Patch by Jeroen Ketema
Diffstat (limited to 'Source/Model')
| -rw-r--r-- | Source/Model/Model.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 154297aa..76b7cb4a 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -695,7 +695,7 @@ namespace Microsoft.Boogie foreach (var f in functions) f.Substitute(mapping);
}
- public static List<Model> ParseModels(System.IO.TextReader rd, string prover)
+ public static List<Model> ParseModels(System.IO.TextReader rd)
{
ModelParser p = new ParserZ3();
p.rd = rd;
|