diff options
Diffstat (limited to 'plugins/fourier/fourierR.ml')
| -rw-r--r-- | plugins/fourier/fourierR.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/fourier/fourierR.ml b/plugins/fourier/fourierR.ml index 2a5e81ec0..aeb07fc3a 100644 --- a/plugins/fourier/fourierR.ml +++ b/plugins/fourier/fourierR.ml @@ -15,7 +15,6 @@ des inéquations et équations sont entiers. En attendant la tactique Field. open Term open Tactics open Names -open Libnames open Globnames open Tacticals open Tacmach |