diff options
Diffstat (limited to 'plugins/dp/g_dp.ml4')
-rw-r--r-- | plugins/dp/g_dp.ml4 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/plugins/dp/g_dp.ml4 b/plugins/dp/g_dp.ml4 index 505b07a14..82f86cd81 100644 --- a/plugins/dp/g_dp.ml4 +++ b/plugins/dp/g_dp.ml4 @@ -28,6 +28,10 @@ TACTIC EXTEND CVC3 [ "cvc3" ] -> [ cvc3 ] END +TACTIC EXTEND Z3 + [ "z3" ] -> [ z3 ] +END + TACTIC EXTEND CVCLite [ "cvcl" ] -> [ cvc_lite ] END |