diff options
Diffstat (limited to 'src/expr/builtin_kinds')
| -rw-r--r-- | src/expr/builtin_kinds | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/expr/builtin_kinds b/src/expr/builtin_kinds index eb41c788e..1c24b045c 100644 --- a/src/expr/builtin_kinds +++ b/src/expr/builtin_kinds @@ -128,3 +128,10 @@ constant TYPE_CONSTANT \ "basic types" operator FUNCTION_TYPE 2: "function type" variable SORT_TYPE "sort type" + +constant BITVECTOR_TYPE \ + unsigned \ + ::CVC4::UnsignedHashStrategy \ + "util/bitvector.h" \ + "bit-vector type" +
\ No newline at end of file |