From 5c338b0092c8e74d9624fc9f777c85ff172a9497 Mon Sep 17 00:00:00 2001 From: TimQu Date: Thu, 4 May 2017 09:23:21 +0200 Subject: [PATCH] added missing file extension --- ...lCheckerTest => SparseMdpCbMultiObjectiveModelCheckerTest.cpp} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/test/modelchecker/{SparseMdpCbMultiObjectiveModelCheckerTest => SparseMdpCbMultiObjectiveModelCheckerTest.cpp} (100%) diff --git a/src/test/modelchecker/SparseMdpCbMultiObjectiveModelCheckerTest b/src/test/modelchecker/SparseMdpCbMultiObjectiveModelCheckerTest.cpp similarity index 100% rename from src/test/modelchecker/SparseMdpCbMultiObjectiveModelCheckerTest rename to src/test/modelchecker/SparseMdpCbMultiObjectiveModelCheckerTest.cpp