From b6d2d50267dd02027f6d893af96d8ad0b186db36 Mon Sep 17 00:00:00 2001
From: Jean-Paul Pelteret <jppelteret@gmail.com>
Date: Sun, 5 May 2019 17:42:39 +0200
Subject: [PATCH] Fix a broken templated function

---
 .../differentiation/sd/symengine_scalar_operations.h | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/include/deal.II/differentiation/sd/symengine_scalar_operations.h b/include/deal.II/differentiation/sd/symengine_scalar_operations.h
index 1c0eb42d5a..02c581c0dc 100644
--- a/include/deal.II/differentiation/sd/symengine_scalar_operations.h
+++ b/include/deal.II/differentiation/sd/symengine_scalar_operations.h
@@ -183,7 +183,13 @@ namespace Differentiation
      * to simplify the final substitution map by resolving all explicit
      * interdependencies between entries in the substitution map.
      */
-    template <typename ExpressionType = SD::Expression, typename ValueType>
+    template <typename ExpressionType = SD::Expression,
+              typename ValueType,
+              typename = typename std::enable_if<
+                dealii::internal::is_explicitly_convertible<
+                  ExpressionType,
+                  const SymEngine::RCP<const SymEngine::Basic> &>::value &&
+                std::is_constructible<ExpressionType, ValueType>::value>::type>
     types::substitution_map
     make_substitution_map(const ExpressionType &symbol, const ValueType &value);
 
@@ -608,9 +614,9 @@ namespace Differentiation
     /* ---------------- Symbolic substitution map creation --------------*/
 
 
-    template <typename ValueType>
+    template <typename ExpressionType, typename ValueType, typename>
     types::substitution_map
-    make_substitution_map(const Expression &symbol, const ValueType &value)
+    make_substitution_map(const ExpressionType &symbol, const ValueType &value)
     {
       types::substitution_map substitution_map;
       add_to_substitution_map(substitution_map, symbol, value);
-- 
2.39.5