Re: Initialization of local variables in PlusCal

[Leslie Lamport <tlapl...@xxxxxxxxx>]

There is not enough demand for this feature to justify the effort

of adding it.  You can do what you want by declaring x to be a

global variable, at the cost of replacing each instance of x with

x[self].