diff -up src/sage/libs/fes.pyx.orig src/sage/libs/fes.pyx
--- src/sage/libs/fes.pyx.orig	2019-01-14 17:16:03.000000000 -0700
+++ src/sage/libs/fes.pyx	2019-02-07 08:30:50.024227599 -0700
@@ -11,7 +11,7 @@ variables. Performing a full exhaustive
 take a **long** time. The number of variables can be artificially
 reduced to 64 by specializing some of them.
 
-Note that the FES library **requires** at least of the equations to be
+Note that the FES library **requires** at least one of the equations to be
 non-linear.
 
 AUTHORS:
@@ -71,7 +71,7 @@ from cysignals.signals cimport sig_on, s
 cdef extern from "fes_interface.h":
     ctypedef int (*solution_callback_t)(void *, uint64_t)
 
-    void exhaustive_search_wrapper(int n, int n_eqs, int degree, int ***coeffs, solution_callback_t callback, void* callback_state, int verbose)
+    void exhaustive_search_wrapper(int n, int n_eqs, int degree, int ***coeffs, solution_callback_t callback, void* callback_state, int verbose, int T)
 
 
 from sage.rings.integer import Integer
@@ -217,7 +217,7 @@ def exhaustive_search(eqs,  max_sols=Inf
 
     # ------- runs the library
     sig_on()
-    exhaustive_search_wrapper(n, len(eqs), degree, coeffs, report_solution, <void *> internal_state, verbose)
+    exhaustive_search_wrapper(n, len(eqs), degree, coeffs, report_solution, <void *> internal_state, verbose, 0)
     sig_off()
 
     # ------- frees memory occupied by the dense representation of the equations