Incorrect printing of designated initializers

ID0001457: This issue was created automatically from Mantis Issue 1457. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0001457	Frama-C	Kernel	public	2013-07-11	2014-03-13

Reporter	yakobowski	Assigned To	virgile	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	-	Target Version	-	Fixed in Version	Frama-C Neon-20140301

Description :

The code below is incorrectly pretty-printed back, although the internal AST seems to be correct.

int t[10] = { [4 ... 6] = 5}; int u[10] = { [4] = 3};

void main() { }