Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn

Former-commit-id: 59538a361e
9 years ago · 97fbf13c6d
1 changed files with 2 additions and 0 deletions
--- a/src/adapters/CarlAdapter.h
+++ b/src/adapters/CarlAdapter.h
@ -44,12 +44,14 @@ namespace carl {

 }

+#ifdef STORM_HAVE_CLN
 namespace cln {
    inline size_t hash_value(cl_RA const& n) {
        std::hash<cln::cl_RA> h;
        return h(n);
    }
 }
+#endif

 namespace storm {
 #if defined STORM_HAVE_CLN && defined USE_CLN_NUMBERS