diff options
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/llb/llb3Nonlin.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/llb/llb3Nonlin.c b/src/proof/llb/llb3Nonlin.c index 48724136..8badc61d 100644 --- a/src/proof/llb/llb3Nonlin.c +++ b/src/proof/llb/llb3Nonlin.c @@ -65,7 +65,7 @@ struct Llb_Mnn_t_ }; -extern int timeBuild, timeAndEx, timeOther; +extern clock_t timeBuild, timeAndEx, timeOther; extern int nSuppMax; //////////////////////////////////////////////////////////////////////// |