From 3209c52a7cc7ca21d1b066b24920b276f5d6802f Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 17 Feb 2016 20:48:00 +0100
Subject: [PATCH] elim linear equation solver used the wrong rational number

Former-commit-id: ca468397cec8d3039a23eee100cf6106d3467cc9
---
 src/solver/EliminationLinearEquationSolver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solver/EliminationLinearEquationSolver.cpp b/src/solver/EliminationLinearEquationSolver.cpp
index 67a281b70..98c791c0a 100644
--- a/src/solver/EliminationLinearEquationSolver.cpp
+++ b/src/solver/EliminationLinearEquationSolver.cpp
@@ -54,7 +54,7 @@ namespace storm {
         template class EliminationLinearEquationSolver<double>;
         
         // TODO: make this work with the proper implementation of solveEquationSystem.
-        template class EliminationLinearEquationSolver<storm::RationalNumber>;
+        template class EliminationLinearEquationSolver<storm::CarlRationalNumber>;
         template class EliminationLinearEquationSolver<storm::RationalFunction>;
         
     }