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

Macros with PlusCal and Toolbox



 
It is maybe a bug
 
I think that Toolbox doesn't want several PlusCal macros in an algorithm.
 
But the specification of PlusCal says it is possible.
 
--
FL