-
Alexandre Duret-Lutz authored
* src/tgbaalgos/save.c (process_state): Escape quotes in the name of source and destination states. This fixes a side bug in the upcoming degenid.test test case.
bf7b94e1
* src/tgbaalgos/save.c (process_state): Escape quotes in the name of source and destination states. This fixes a side bug in the upcoming degenid.test test case.