diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/fourier/fourierR.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/fourier/fourierR.ml b/plugins/fourier/fourierR.ml index a8c79c31e4..02503ab475 100644 --- a/plugins/fourier/fourierR.ml +++ b/plugins/fourier/fourierR.ml @@ -504,7 +504,7 @@ let rec fourier gl= (list_of_sign (pf_hyps gl)) in let lineq =ref [] in List.iter (fun h -> try (lineq:=(ineq1_of_constr h)@(!lineq)) - with NoIneq _ -> ()) + with NoIneq -> ()) hyps; (* lineq = les inéquations découlant des hypothèses *) if !lineq=[] then Errors.error "No inequalities"; |