summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
7278063)
every loop of auto the check gettimeofday() > timeout raise Fail
open AutoTypes;;
open AutoCache;;
open AutoTypes;;
open AutoCache;;
-let debug_print s = () (*prerr_endline s;;*)
+let debug_print s = () (* prerr_endline s;; *)
(* {{{ *********** local given_clause wrapper ***********)
(* {{{ *********** local given_clause wrapper ***********)
if timeout = 0 then
if for_applyS then Unix.gettimeofday () +. 30.0
else
if timeout = 0 then
if for_applyS then Unix.gettimeofday () +. 30.0
else
else
Unix.gettimeofday() +. (float_of_int timeout);
AutoTypes.use_paramod = use_paramod;
else
Unix.gettimeofday() +. (float_of_int timeout);
AutoTypes.use_paramod = use_paramod;