diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-20 22:57:20 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-20 22:57:20 -0400 |
| commit | a7ddc4951cf38434062f02afd59340355f157b8f (patch) | |
| tree | 8be49237dd6c2e8276fefb26821cbbc0fa881d97 /src/util | |
| parent | 2e162eac469e010921250637760e9d23bdc5316a (diff) | |
| parent | e8021a81993fe5ed201e7fdaf7af007e4d9d012b (diff) | |
Merge pull request #22 from kbansal/sets-model
Sets model
Diffstat (limited to 'src/util')
| -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 */ |