ibex-team / ibex-lib

IBEX is a C++ library for constraint processing over real numbers.
http://ibex-team.github.io/ibex-lib/
GNU Lesser General Public License v3.0
69 stars 51 forks source link

[minibex] Semicolon required after loop block #454

Closed gchabert closed 4 years ago

gchabert commented 4 years ago

Currently, if there is another constraint following a loop block, there must be a semicolon after the "end". To conform with classic programming languages, we should not impose this semicolon.