alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

fix: ltlsynt --tlsf does not propagate name to csv

Browse source 
* bin/ltlsynt.cc: Here
This commit is contained in:
Philipp Schlehuber-Caissier 2022-09-21 16:02:49 +02:00
parent 4a24739c3f
commit c45ff0c94c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bin/ltlsynt.cc
View file

@ -705,7 +705,7 @@ namespace
} }
if (opt_csv) if (opt_csv)
print_csv(f); print_csv(f, filename);
return res; return res;
} }