Pierre Radermecker writes: > I meant Mozart. > > Maybe it is a problem with the specific version that sit in the universe (or > debian) repository. If it is a real bug, it could be reported to the debian > bug tracking system. > > According to the website, "the Debian packages involve significant > repackaging of the Mozart release". > > Anyway if someone could confirm that the problem does exist (with the Ubuntu > packages) that would be helpful ;-) > > Thanks. > >
Well, I can confirm that the problem exists with the Debian package too. From wolfgang's response it looks like it also happens on some non-Debian/Ubuntu installations. Pierre, did you try putting the point in the *Oz Compiler* buffer and seeing if next-error works then? k _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
