diff options
Diffstat (limited to 'src/base/exor/exor.h')
| -rw-r--r-- | src/base/exor/exor.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/exor/exor.h b/src/base/exor/exor.h index fc1f546b..f6bf4990 100644 --- a/src/base/exor/exor.h +++ b/src/base/exor/exor.h @@ -111,9 +111,9 @@ typedef struct cinfo_tag int Verbosity; // verbosity level int Quality; // quality - int TimeRead; // reading time - int TimeStart; // starting cover computation time - int TimeMin; // pure minimization time + abctime TimeRead; // reading time + abctime TimeStart; // starting cover computation time + abctime TimeMin; // pure minimization time } cinfo; // representation of one cube (24 bytes + bit info) |