Comment 2 for bug 494902

Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote : Re: Sometimes it is not possible to delete a place

This seems to be traced back to an error with the query in the model. The xml-file contains an empty malformed query, and the check to test if you are deleting a place used in a query fails. I expect you can see the error, as when you load the file TAPAAL prints to std.err: "No query was specified: [Ljava.lang.StackTraceElement;@3125ee71"