janhaag/PSE2011 — Issue #99: GUI language is English
Author: ratefuchs
Created: 2012-03-05 23:54:05+00:00
State: open
Labels: Verifier/SMTLib

In verifier tab, sometimes the German word "sonst" shows up instead of "else" or a similar word.
Seems to be a problem with the Z3 grammar.