2.11: duplicate imports when using different directory prefixes
import foo.dzn; import ../currentworkingdir/foo.dzn;
imports foo.dzn twice
throwing an exception which is not handled
Edited by Rutger van Beusekom
import foo.dzn; import ../currentworkingdir/foo.dzn;
imports foo.dzn twice
throwing an exception which is not handled