Revert "Providing lables if constraints are not solved"

eclipse / mita

mita

Eclipse Public License 2.0

56 stars 20 forks source link

Closed wegendt-bosch closed 5 years ago

wegendt-bosch commented 5 years ago

Reverts eclipse/mita#323, since it broke builds cc @rherrmannr

tkutz commented 5 years ago

fixed build again with PR #335 sorry for that, somehow an import got lost