From 66b24a6c18b26dcbf8762c73d25908caaab04617 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 17 Aug 2017 21:00:14 -0700 Subject: [PATCH] change typename to class in optional to deal with compilation Signed-off-by: Nikolaj Bjorner --- src/muz/rel/dl_interval_relation.cpp | 1 - src/util/optional.h | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/src/muz/rel/dl_interval_relation.cpp b/src/muz/rel/dl_interval_relation.cpp index ccb7b728b..e14d242bb 100644 --- a/src/muz/rel/dl_interval_relation.cpp +++ b/src/muz/rel/dl_interval_relation.cpp @@ -18,7 +18,6 @@ Revision History: --*/ #include "util/debug.h" -#include "util/optional.h" #include "ast/ast_pp.h" #include "muz/rel/dl_interval_relation.h" #include "muz/rel/dl_relation_manager.h" diff --git a/src/util/optional.h b/src/util/optional.h index eeff35260..5b3753ac6 100644 --- a/src/util/optional.h +++ b/src/util/optional.h @@ -21,7 +21,7 @@ Revision History: #ifndef OPTIONAL_H_ #define OPTIONAL_H_ -template +template class optional { T* m_obj; char m_initialized;