Maude-help mailing list

["Tewodros A. Beyene" <teddyttg AT gmail.com>]

Hello there, tnx for the help!!
I just tried that.
And the error went to the end of the module...
...........
...........................
else(H . update B E)fi . 
endfm <---*HERE*

but this is the line I have at the end... 
endfm)

On Sun, Jan 17, 2010 at 12:52 AM, Tewodros A. Beyene <teddyttg AT gmail.com> wrote:

Dear all,

I am getting this message while I was trying to run a module in full maude.
"Warning: Parse error in fmod PTABLE[<---*HERE* "
In my code,
PTABLE is defined in the line like this...
         (fmod PTABLE[Y::THPTABLE] is
                .......
          endfm)
while THPTABLE is a theory I defined before it.
Its showing me the message above...Can you tell me what the possible problem could be??

Regards,

Tewodros A. Beyene

-- 
Tewodros Awgichew Beyene