4217: Fix the occurring error when changing the type of an in-/output port
Deletes a line that I seem to have added by accident in 94f75a78
Fixes #4217 (closed)
Edited by Ulrich Schöpp
Deletes a line that I seem to have added by accident in 94f75a78
Fixes #4217 (closed)