Maude-help mailing list

[Michael Katelman <katelman AT uiuc.edu>]

I believe that the syntax for parameterization uses '{', not the
square backets '[' you have.

-Mike

On Sat, Jan 16, 2010 at 5:52 PM, 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
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
>
>