diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-08-11 07:42:10 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-08-11 07:42:10 -0700 |
| commit | 0bbc60ec44ce19d1e2fb611469b729f33747bc85 (patch) | |
| tree | 5ebf334b96ac324aab832f8f994bdf2dc8d64ea7 | |
| parent | c67db4402142d8049f64c0e068a4e7e70be82c25 (diff) | |
fix
| -rw-r--r-- | src/util/rational_cln_imp.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/util/rational_cln_imp.h b/src/util/rational_cln_imp.h index 009dee19b..f1b6022cf 100644 --- a/src/util/rational_cln_imp.h +++ b/src/util/rational_cln_imp.h @@ -34,7 +34,6 @@ #include "base/exception.h" #include "cvc5_export.h" // remove when Cvc language support is removed #include "util/integer.h" -#include "util/maybe.h" namespace cvc5 { |