diff options
Diffstat (limited to 'Source/Model/Model.cs')
-rw-r--r-- | Source/Model/Model.cs | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 7668b370..b9a2dfcf 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -701,14 +701,11 @@ namespace Microsoft.Boogie switch (prover)
{
- case "Z3_SMTLIB2":
- p = new ParserZ3_SMTLIB2();
- break;
- case "CVC4":
- p = new ParserCVC4();
+ case "SMTLIB2":
+ p = new ParserSMT();
break;
default:
- p = new ParserZ3();
+ p = new ParserZ3();
break;
}
|