diff options
| -rw-r--r-- | contrib/fourier/fourierR.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/fourier/fourierR.ml b/contrib/fourier/fourierR.ml index 8da7530ea0..1fae97ef02 100644 --- a/contrib/fourier/fourierR.ml +++ b/contrib/fourier/fourierR.ml @@ -496,9 +496,10 @@ 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 _-> ()) + with _ -> ()) hyps; (* lineq = les inéquations découlant des hypothèses *) + if !lineq=[] then Util.error "No inequalities"; let res=fourier_lineq (!lineq) in let tac=ref tclIDTAC in if res=[] |