Taddeus Kroes 3082b87b35 Fixed weird context analysis on array dimension names 12 years ago
..
defs.cvc 3082b87b35 Fixed weird context analysis on array dimension names 12 years ago
expected.out 3082b87b35 Fixed weird context analysis on array dimension names 12 years ago
main.cvc 3082b87b35 Fixed weird context analysis on array dimension names 12 years ago