diff --git a/src/adapters/extendedCarl.h b/src/adapters/CarlAdapter.h
similarity index 100%
rename from src/adapters/extendedCarl.h
rename to src/adapters/CarlAdapter.h
diff --git a/src/storage/parameters.h b/src/storage/parameters.h
deleted file mode 100644
index 7455690d2..000000000
--- a/src/storage/parameters.h
+++ /dev/null
@@ -1,21 +0,0 @@
-#ifndef STORM_STORAGE_PARAMETERS_H_
-#define STORM_STORAGE_PARAMETERS_H_
-
-#include "storm-config.h"
-
-#ifdef STORM_HAVE_CARL
-#include "../adapters/extendedCarl.h"
-
-namespace storm {
-	typedef carl::Variable  Variable;
-    typedef carl::MultivariatePolynomial<cln::cl_RA> RawPolynomial;
-    typedef carl::FactorizedPolynomial<RawPolynomial> Polynomial;
-
-//    typedef RawPolynomial Polynomial;
-	
-	typedef carl::CompareRelation CompareRelation;
-	typedef carl::RationalFunction<Polynomial> RationalFunction;
-}
-#endif
-
-#endif /* STORM_STORAGE_PARAMETERS_H_ */