Bug in setting maketrue / setting interpretation

[Broes De Cat]

currentIndex does not get the assigned value.

vocabulary V { type Index isa nat currentIndex : Index }

structure S:V{ }

include <mx> procedure main(){ S[V::Index.type] = range(1,1) maketrue(S[V::currentIndex].graph,{1}) // S[V::currentIndex].graph.pt=S[V::currentIndex].graph.ct clean(S) print(S) }

[Broes De Cat]

This seems related to an existing bug: the problem is that the table used to set it is not the correct table, as the table changes when the interpretation is changed (by the range assignment).

[Bart Bogaerts]

Duplicate of #245.