diff options
Diffstat (limited to 'src/expr/node_visitor.h')
| -rw-r--r-- | src/expr/node_visitor.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/expr/node_visitor.h b/src/expr/node_visitor.h index 52755e9fa..73de7c02d 100644 --- a/src/expr/node_visitor.h +++ b/src/expr/node_visitor.h @@ -15,10 +15,9 @@ #pragma once -#include "cvc4_private.h" - #include <vector> +#include "cvc5_private.h" #include "expr/node.h" namespace cvc5 { |