-
Notifications
You must be signed in to change notification settings - Fork 5
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Attempted to beginRule error message #34
Comments
Dear Michael, |
Here is the part from the error log: !ENTRY org.eclipse.ui.workbench 4 2 2018-11-13 18:39:36.321 |
I am guessing a bit but looks like you have nested Jobs running with the outer one scoped on a specific project called CamilleXTests and the inner one scoped on an unspecified resource. or is that obvious ;-) |
This seems to be related to the Rodin Editor (org.eventb.texteditor.ui.editor.EventBTextEditor). We haven't seen similar errors like this for quite a while, so I close this issue for now. |
I had old Camille open on the generated file; I saved a change in CamilleX and then reloaded the contents in Camille and got the following error message, which I guess is coming from new CamilleX?
The text was updated successfully, but these errors were encountered: