From a957dabe15dd89edd2e8ab927172f14dc48d96bf Mon Sep 17 00:00:00 2001
From: Joachim Klein <joachim.klein@automata.tools>
Date: Tue, 23 Apr 2019 21:22:37 +0200
Subject: [PATCH] ExportIterations: use int64_t for vector size instead of int

---
 prism/include/ExportIterations.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/prism/include/ExportIterations.h b/prism/include/ExportIterations.h
index a0a7ae34..6aabde9b 100644
--- a/prism/include/ExportIterations.h
+++ b/prism/include/ExportIterations.h
@@ -76,9 +76,9 @@ public:
 	/**
 	 * Export the given vector, with size n and given type (0 = normal, VI from below, 1 = VI from above)
 	 */
-	void exportVector(double *soln, int n, int type) {
+	void exportVector(double *soln, int64_t n, int type) {
 		fprintf(fp, "<script>addVector([");
-		for (int i = 0; i < n; i++) {
+		for (int64_t i = 0; i < n; i++) {
 			if (i>0) fprintf(fp, ",");
 			double d = soln[i];
 			if (std::isinf(d)) {
@@ -103,7 +103,7 @@ public:
 		double* vec = mtbdd_to_double_vector(ddman, dd, rvars, num_rvars, odd);
 
 		// get number of states
-		int n = odd->eoff + odd->toff;
+		int64_t n = odd->eoff + odd->toff;
 
 		exportVector(vec, n, type);
 		delete[] vec;