diff options
Diffstat (limited to 'plugins/omega/g_omega.ml4')
| -rw-r--r-- | plugins/omega/g_omega.ml4 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/omega/g_omega.ml4 b/plugins/omega/g_omega.ml4 index 082eac422..0aad364c1 100644 --- a/plugins/omega/g_omega.ml4 +++ b/plugins/omega/g_omega.ml4 @@ -28,9 +28,9 @@ let omega_tactic l = | s -> Errors.error ("No Omega knowledge base for type "^s)) (Util.List.sort_uniquize String.compare l) in - tclTHEN - (tclREPEAT (tclPROGRESS (tclTHENLIST tacs))) - omega_solver + Tacticals.New.tclTHEN + (Tacticals.New.tclREPEAT (Tacticals.New.tclTHENLIST tacs)) + (omega_solver) TACTIC EXTEND omega |