From 4eaf8f84433f521d2fbf72d97ae46d1577a8058f Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 1 Feb 2016 16:18:11 +0100
Subject: [PATCH] changed ration number to the boost version again (this time
 in the correct version)

Former-commit-id: 2c97e6e43ecc52dc93bd9e0c525a6689fd56f9c2
---
 src/adapters/CarlAdapter.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/adapters/CarlAdapter.h b/src/adapters/CarlAdapter.h
index 093ea6ae7..4fd2a98a0 100644
--- a/src/adapters/CarlAdapter.h
+++ b/src/adapters/CarlAdapter.h
@@ -45,7 +45,7 @@ namespace carl {
 
 namespace storm {
 //    typedef boost::multiprecision::gmp_rational RationalNumber;
-    typedef mpq_class RationalNumber;
+    typedef boost::multiprecision::number<boost::multiprecision::gmp_rational> RationalNumber;
     
     typedef cln::cl_RA CarlRationalNumber;
     typedef carl::Variable Variable;