From adc40fdcb66fdb391a70f4c88bfa3d4823a17905 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 30 Oct 2016 08:13:37 +0100
Subject: [PATCH] ltlsmin: revert part of 630e90b9

* spot/ltsmin/ltsmin.cc (compile_model): It does need to modify its
first argument.
---
 spot/ltsmin/ltsmin.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/ltsmin/ltsmin.cc b/spot/ltsmin/ltsmin.cc
index 280606d3f..b70d262c3 100644
--- a/spot/ltsmin/ltsmin.cc
+++ b/spot/ltsmin/ltsmin.cc
@@ -943,7 +943,7 @@ namespace spot
     // Call spins to compile "foo.prom" as "foo.prom.spins" if the latter
     // does not exist already or is older.
     static void
-    compile_model(std::string filename, const std::string& ext)
+    compile_model(std::string& filename, const std::string& ext)
     {
       std::string command;
       std::string compiled_ext;