diff --git a/src/storm/solver/Z3LPSolver.cpp b/src/storm/solver/Z3LpSolver.cpp
similarity index 100%
rename from src/storm/solver/Z3LPSolver.cpp
rename to src/storm/solver/Z3LpSolver.cpp
diff --git a/src/storm/solver/Z3LPSolver.h b/src/storm/solver/Z3LpSolver.h
similarity index 100%
rename from src/storm/solver/Z3LPSolver.h
rename to src/storm/solver/Z3LpSolver.h