diff options
Diffstat (limited to 'plugins/fourier')
| -rw-r--r-- | plugins/fourier/g_fourier.ml4 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/fourier/g_fourier.ml4 b/plugins/fourier/g_fourier.ml4 index 1635cecc08..11107385da 100644 --- a/plugins/fourier/g_fourier.ml4 +++ b/plugins/fourier/g_fourier.ml4 @@ -10,6 +10,8 @@ open FourierR +DECLARE PLUGIN "fourier_plugin" + TACTIC EXTEND fourier [ "fourierz" ] -> [ Proofview.V82.tactic fourier ] END |