diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-24 12:24:52 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-24 12:24:52 +0100 |
| commit | e599209547cabdd5c9663938edec016117e14280 (patch) | |
| tree | 0fd5a6b0f491738338bbdb5bf800f4416b59499e /Source/Model/Model.cs | |
| parent | 8ce0d761f21e4449d9fff832601352f390e26f49 (diff) | |
Remove dead code
Patch by Jeroen Ketema
Diffstat (limited to 'Source/Model/Model.cs')
| -rw-r--r-- | Source/Model/Model.cs | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 1f97125a..154297aa 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -697,21 +697,9 @@ namespace Microsoft.Boogie public static List<Model> ParseModels(System.IO.TextReader rd, string prover)
{
- ModelParser p;
-
- switch (prover)
- {
- case "SMTLIB2":
- p = new ParserSMT();
- break;
- default:
- p = new ParserZ3();
- break;
- }
-
+ ModelParser p = new ParserZ3();
p.rd = rd;
p.Run();
-
return p.resModels;
}
}
|