diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 21:48:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 21:48:54 -0700 |
| commit | a02be725e91e60dbf79796ec64fa5b8a47d3cb8d (patch) | |
| tree | 2a195f6de7f9a9d91d0f6e268bd5e9ce56bbacfa /src/base/exor/exor.h | |
| parent | 03dc51369c54793a7f3cd987a6122bdb1b1d7132 (diff) | |
| download | abc-a02be725e91e60dbf79796ec64fa5b8a47d3cb8d.tar.gz abc-a02be725e91e60dbf79796ec64fa5b8a47d3cb8d.tar.bz2 abc-a02be725e91e60dbf79796ec64fa5b8a47d3cb8d.zip | |
Updates to Exorcism package
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) |