diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-10 19:02:32 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-20 17:18:57 -0400 |
| commit | d802bd27402c4e370177bc9e32f36ded4c49c860 (patch) | |
| tree | a91cd86535f8be7289cf5199709876fa55f6c213 /src/util/emptyset.h | |
| parent | c1f794f35cca4be9ad1ca0135806430d06101eb2 (diff) | |
work on set model
Diffstat (limited to 'src/util/emptyset.h')
| -rw-r--r-- | src/util/emptyset.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/emptyset.h b/src/util/emptyset.h index aae08e43b..2d307b2d4 100644 --- a/src/util/emptyset.h +++ b/src/util/emptyset.h @@ -4,8 +4,8 @@ #pragma once namespace CVC4 { - // messy; Expr needs ArrayStoreAll (because it's the payload of a - // CONSTANT-kinded expression), and ArrayStoreAll needs Expr. + // messy; Expr needs EmptySet (because it's the payload of a + // CONSTANT-kinded expression), and EmptySet needs Expr. class CVC4_PUBLIC EmptySet; }/* CVC4 namespace */ |