From 3c6e9c2f71e4077ab489c6b4fc32084a4c5e3193 Mon Sep 17 00:00:00 2001 From: dehnert Date: Thu, 17 Nov 2016 13:29:10 +0100 Subject: [PATCH] fixed capitalization issue Former-commit-id: 377f1903b41b7f09f91242fce6a1830155d26448 [formerly 020243aedae8a7cb906d79fcfb1192d2247f50d9] Former-commit-id: d5f705604c95352fb3fb11db4bb95cabb186098a --- src/modelchecker/multiobjective/{Pcaa.cpp => pcaa.cpp} | 0 src/modelchecker/multiobjective/{Pcaa.h => pcaa.h} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/modelchecker/multiobjective/{Pcaa.cpp => pcaa.cpp} (100%) rename src/modelchecker/multiobjective/{Pcaa.h => pcaa.h} (100%) diff --git a/src/modelchecker/multiobjective/Pcaa.cpp b/src/modelchecker/multiobjective/pcaa.cpp similarity index 100% rename from src/modelchecker/multiobjective/Pcaa.cpp rename to src/modelchecker/multiobjective/pcaa.cpp diff --git a/src/modelchecker/multiobjective/Pcaa.h b/src/modelchecker/multiobjective/pcaa.h similarity index 100% rename from src/modelchecker/multiobjective/Pcaa.h rename to src/modelchecker/multiobjective/pcaa.h