diff options
Diffstat (limited to 'src/opt/sfm/sfmInt.h')
-rw-r--r-- | src/opt/sfm/sfmInt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/sfm/sfmInt.h b/src/opt/sfm/sfmInt.h index 03d03111..5c41e9f0 100644 --- a/src/opt/sfm/sfmInt.h +++ b/src/opt/sfm/sfmInt.h @@ -116,6 +116,7 @@ struct Sfm_Ntk_t_ clock_t timeDiv; clock_t timeCnf; clock_t timeSat; + clock_t timeOther; clock_t timeTotal; }; |