From 67d5df5bd42ef216735a42b50d4d731dc07a34ca Mon Sep 17 00:00:00 2001 From: TimQu Date: Fri, 17 Feb 2017 00:15:37 +0100 Subject: [PATCH] fixed capitalization --- src/storm/solver/{Z3LPSolver.cpp => Z3LpSolver.cpp} | 0 src/storm/solver/{Z3LPSolver.h => Z3LpSolver.h} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/storm/solver/{Z3LPSolver.cpp => Z3LpSolver.cpp} (100%) rename src/storm/solver/{Z3LPSolver.h => Z3LpSolver.h} (100%) 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