diff options
Diffstat (limited to 'src/theory/sets/kinds')
-rw-r--r-- | src/theory/sets/kinds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sets/kinds b/src/theory/sets/kinds index 39e7883c6..a43902b1b 100644 --- a/src/theory/sets/kinds +++ b/src/theory/sets/kinds @@ -18,7 +18,7 @@ properties check propagate constant EMPTYSET \ ::CVC4::EmptySet \ ::CVC4::EmptySetHashFunction \ - "util/emptyset.h" \ + "expr/emptyset.h" \ "the empty set constant; payload is an instance of the CVC4::EmptySet class" # the type |