diff options
Diffstat (limited to 'src/base/seq/seqUtil.c')
-rw-r--r-- | src/base/seq/seqUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/seq/seqUtil.c b/src/base/seq/seqUtil.c index ce92bd33..3a80bd3c 100644 --- a/src/base/seq/seqUtil.c +++ b/src/base/seq/seqUtil.c @@ -6,7 +6,7 @@ PackageName [Construction and manipulation of sequential AIGs.] - Synopsis [] + Synopsis [Various utilities working with sequential AIGs.] Author [Alan Mishchenko] |