Remove own definition of enable_if<B, T> in favor of...

...the definition provided by <type_traits> since C++11.

diff --git a/ginac/factor.cpp b/ginac/factor.cpp
index d0d9ce038baba72ea3222afa58c1d71e0c53680c..9bd105ec726638a649ccf2d93ba632eb4bd5edb6 100644 (file)
--- a/ginac/factor.cpp
+++ b/ginac/factor.cpp
@@ -65,6 +65,7 @@
 #include "normal.h"
 #include "add.h"
 
+#include <type_traits>
 #include <algorithm>
 #include <limits>
 #include <list>
@@ -219,13 +220,6 @@ static void expt_pos(umodpoly& a, unsigned int q)
        }
 }
 
-template<bool COND, typename T = void> struct enable_if
-{
-       typedef T type;
-};
-
-template<typename T> struct enable_if<false, T> { /* empty */ };
-
 template<typename T> struct uvar_poly_p
 {
        static const bool value = false;