Commit 60743a9e authored by Matt Wala's avatar Matt Wala
Browse files

Liveness analysis: fix logger (closes #54).

parent 164ad102