[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Checking FIFO module

Dear Leslie and Stephan,

Thank you so much for your quick response, detailed explanations and advice on future reading, I really appreciate it!  I definitely misinterpreted the error message and mistook parameterized instantiation for module parameter substitution.

Thank you again!