summaryrefslogtreecommitdiffstats
path: root/src/base/main
diff options
context:
space:
mode:
Diffstat (limited to 'src/base/main')
-rw-r--r--src/base/main/mainInt.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h
index 369b46f1..c1b687bc 100644
--- a/src/base/main/mainInt.h
+++ b/src/base/main/mainInt.h
@@ -94,6 +94,7 @@ struct Abc_Frame_t_
void * pLibGen2; // the current genlib
void * pLibSuper; // the current supergate library
void * pLibScl; // the current Liberty library
+ void * pAbcCon; // constraint manager
// timing constraints
char * pDrivingCell; // name of the driving cell
float MaxLoad; // maximum output load