diff options
Diffstat (limited to 'src/opt/res/resInt.h')
-rw-r--r-- | src/opt/res/resInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/res/resInt.h b/src/opt/res/resInt.h index f9709bf6..0eb91322 100644 --- a/src/opt/res/resInt.h +++ b/src/opt/res/resInt.h @@ -91,7 +91,7 @@ struct Res_Sim_t_ // resub candidates Vec_Vec_t * vCands; // resubstitution candidates // statistics - clock_t timeSat; + abctime timeSat; }; //////////////////////////////////////////////////////////////////////// |