Maude-help mailing list

[<pdouglis AT perspectalabs.com>]

Hello,
I'm trying to load a module from a file into Maude, but I'm getting a "No
parse for input" error with the red line with "*HERE*" pointing at the line
underneath the "endom" where there is nothing (in fact, there isn't even
another blank line at the end of the file). This parsing error isn't
particularly helpful to me and I was hoping some of you might have an idea
what's causing it. I already checked that the parentheses around (omod __
is ... endom) are closed and all other parsing errors that had been found
within the module before this have been fixed. Any guidance you could offer
would be greatly appreciated.

Thanks,
Pierce