From c45ff0c94ce4a53595d25423590c8d915148e30b Mon Sep 17 00:00:00 2001
From: Philipp Schlehuber-Caissier <philipp@lrde.epita.fr>
Date: Wed, 21 Sep 2022 16:02:49 +0200
Subject: [PATCH] fix: ltlsynt --tlsf does not propagate name to csv

* bin/ltlsynt.cc: Here
---
 bin/ltlsynt.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/ltlsynt.cc b/bin/ltlsynt.cc
index e0cf78c47..630ccd629 100644
--- a/bin/ltlsynt.cc
+++ b/bin/ltlsynt.cc
@@ -705,7 +705,7 @@ namespace
         }
 
       if (opt_csv)
-        print_csv(f);
+        print_csv(f, filename);
       return res;
     }