From 82e8f190671407465aa3cdacca1e25f3f018e372 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 6 Mar 2018 11:38:20 +0100
Subject: [PATCH] PH_Power_Interval.c: fix typo in iteration export title

---
 prism/src/hybrid/PH_PowerInterval.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/hybrid/PH_PowerInterval.cc b/prism/src/hybrid/PH_PowerInterval.cc
index 42b01333..e72b598c 100644
--- a/prism/src/hybrid/PH_PowerInterval.cc
+++ b/prism/src/hybrid/PH_PowerInterval.cc
@@ -182,7 +182,7 @@ jint flags
 
 	std::unique_ptr<ExportIterations> iterationExport;
 	if (PH_GetFlagExportIterations()) {
-		iterationExport.reset(new ExportIterations("PH_Power"));
+		iterationExport.reset(new ExportIterations("PH_Power_Interval"));
 		PH_PrintToMainLog(env, "Exporting iterations to %s\n", iterationExport->getFileName().c_str());
 		iterationExport->exportVector(soln_below, n, 0);
 		iterationExport->exportVector(soln_above, n, 1);