diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 15:32:45 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 15:32:45 +0100 |
| commit | d3d079fb67ed5648433e88ee25c372ac4d95c196 (patch) | |
| tree | 84510626f1a9f2ee87fe22e97c6000c47768347f /Source/Model | |
| parent | 0559cc946de0ef6e711da8b0ad43805c2524669f (diff) | |
Whitespace fix
Diffstat (limited to 'Source/Model')
| -rw-r--r-- | Source/Model/Model.cs | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 3fafea97..1f97125a 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -695,24 +695,24 @@ namespace Microsoft.Boogie foreach (var f in functions) f.Substitute(mapping);
}
- public static List<Model> ParseModels(System.IO.TextReader rd, string prover)
- {
- ModelParser p;
+ 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;
- }
+ switch (prover)
+ {
+ case "SMTLIB2":
+ p = new ParserSMT();
+ break;
+ default:
+ p = new ParserZ3();
+ break;
+ }
- p.rd = rd;
- p.Run();
+ p.rd = rd;
+ p.Run();
- return p.resModels;
- }
+ return p.resModels;
+ }
}
}
|