Red lines generate independent prolog dependencies

mitschke / vespucci

The Vespucci Graphical Editor - A modelling tool for architectural invariants

http://www.opal-project.de/vespucci_project/index.html

14 stars 3 forks source link

Red lines generate independent prolog dependencies #28

Closed mitschke closed 13 years ago

mitschke commented 13 years ago

Red lines must not be generated as dependencies in the prolog code. The 'underlying' black lines are the real dependencies that are checked and should thus be generated into prolog.

patrickjahnke commented 13 years ago

The bug is fixed at the under construction branch