diff options
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/fourier/fourierR.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/fourier/fourierR.ml b/contrib/fourier/fourierR.ml index b3e141822..74a58b11d 100644 --- a/contrib/fourier/fourierR.ml +++ b/contrib/fourier/fourierR.ml @@ -436,7 +436,7 @@ let rec fourier gl= let res=fourier_lineq (!lineq) in let tac=ref tclIDTAC in if res=[] - then (print_string "Tactic Fourier fails."; + then (print_string "Tactic Fourier fails.\n"; flush stdout) (* l'algorithme de Fourier a réussi: on va en tirer une preuve Coq *) else (match res with |