X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FproofEngine.ml;h=69e8062eeddd17f10c667c7634c60f26c31b78bb;hb=5a8a7dd777c55a9907699a709760b0616b571919;hp=47af12f4e35d6adeebc7e4c14d5746e1fefda8e2;hpb=4720c6af414c4a834a994fdb404fda2d0c04fc03;p=helm.git

diff --git a/helm/gTopLevel/proofEngine.ml b/helm/gTopLevel/proofEngine.ml
index 47af12f4e..69e8062ee 100644
--- a/helm/gTopLevel/proofEngine.ml
+++ b/helm/gTopLevel/proofEngine.ml
@@ -317,4 +317,5 @@ let clear hyp = apply_tactic (ProofEngineStructuralRules.clear ~hyp)
 
 let elim_type term = apply_tactic (Ring.elim_type_tac ~term)
 let ring () = apply_tactic Ring.ring_tac
+let fourier () = apply_tactic FourierR.fourier_tac