diff options
Diffstat (limited to 'src/base/ver/ver.h')
| -rw-r--r-- | src/base/ver/ver.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/ver/ver.h b/src/base/ver/ver.h index cf2b7497..9c538ac4 100644 --- a/src/base/ver/ver.h +++ b/src/base/ver/ver.h @@ -66,6 +66,7 @@ struct Ver_Man_t_ Vec_Ptr_t * vNames; Vec_Ptr_t * vStackFn; Vec_Int_t * vStackOp; + Vec_Int_t * vPerm; }; |