From a02be725e91e60dbf79796ec64fa5b8a47d3cb8d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 11 Apr 2016 21:48:54 -0700 Subject: Updates to Exorcism package --- src/base/exor/exor.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/base/exor/exor.h') 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) -- cgit v1.2.3