From d802bd27402c4e370177bc9e32f36ded4c49c860 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Mon, 10 Mar 2014 19:02:32 -0400 Subject: work on set model --- src/util/emptyset.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/util/emptyset.h') 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 */ -- cgit v1.2.3