Remove local declaration of void_t

With the move to C++ 17 we can use std::void_t instead.
tautschnig · Nov 14, 2023 · cf141e6 · cf141e6
1 parent d44cdcd
commit cf141e6
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 40 deletions.
diff --git a/src/jsil/jsil_language.h b/src/jsil/jsil_language.h
@@ -51,7 +51,9 @@ class jsil_languaget:public languaget
     const namespacet &ns) override;
 
   std::unique_ptr<languaget> new_language() override
-  { return std::make_unique<jsil_languaget>(); }
+  {
+    return std::make_unique<jsil_languaget>();
+  }
 
   std::string id() const override
   {

diff --git a/src/solvers/smt2_incremental/ast/smt_terms.h b/src/solvers/smt2_incremental/ast/smt_terms.h
@@ -6,7 +6,6 @@
 #include <util/irep.h>
 
 #include <solvers/smt2_incremental/response_or_error.h>
-#include <solvers/smt2_incremental/type_traits.h>
 
 #include "smt_index.h"
 #include "smt_sorts.h"
@@ -150,7 +149,7 @@ class smt_function_application_termt : public smt_termt
   template <class functiont>
   struct has_indicest<
     functiont,
-    void_t<decltype(std::declval<functiont>().indices())>> : std::true_type
+    std::void_t<decltype(std::declval<functiont>().indices())>> : std::true_type
   {
   };
 

diff --git a/src/solvers/smt2_incremental/type_traits.h b/src/solvers/smt2_incremental/type_traits.h