Skip to content
Commit c1f43daa authored by vaclav's avatar vaclav
Browse files

fix crash in smoke test + correct printing of "Output synthesis file"

parent f0ba1892