potential fix for #20 - Githubissues

VerifAPS / stvs

StructuredText Verification Studio

http://formal.iti.kit.edu/stvs

GNU General Public License v3.0

9 stars 0 forks source link

Open mattulbrich opened 7 years ago

mattulbrich commented 7 years ago

This seems to fix the error dialog problem #20 on linux for the moment. Error messages from geteta could be displayed again now.

Can you please doublecheck?