diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-02-29 11:41:52 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-02-29 11:41:52 -0800 |
| commit | 812e6dbb864807936e17cc83adbe357b987bb264 (patch) | |
| tree | bd04885dcb332259632037f04f1bbfacf9dfedbf /Source/Provers/Z3api/ProverLayer.cs | |
| parent | 9474036365c43cbbb420ec96b3fe60068c60058e (diff) | |
bug fix
Diffstat (limited to 'Source/Provers/Z3api/ProverLayer.cs')
| -rw-r--r-- | Source/Provers/Z3api/ProverLayer.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3api/ProverLayer.cs b/Source/Provers/Z3api/ProverLayer.cs index bff7773c..3b7b8f43 100644 --- a/Source/Provers/Z3api/ProverLayer.cs +++ b/Source/Provers/Z3api/ProverLayer.cs @@ -158,7 +158,7 @@ REVERSE_IMPLIES=<bool> Encode P==>Q as Q||!P. }
}
- public class Z3apiProcessTheoremProver : ApiProverInterface
+ public class Z3apiProcessTheoremProver : ProverInterface
{
public Z3apiProcessTheoremProver(Z3InstanceOptions opts, DeclFreeProverContext ctxt)
{
|