Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
framework
/
tests
/
framework
/
MatrixBug.java
blob: 382b2dacdfb17c823075e70bfbdf8cd633b6af9d [
file
] [
log
] [
blame
]
import
org
.
checkerframework
.
framework
.
testchecker
.
util
.*;
public
class
MatrixBug
{
public
char
[][]
chars
=
new
char
[][]
{
new
char
[]
{
'*'
,
'*'
,
'*'
},
new
char
[]
{
'*'
,
'*'
,
'*'
}};
}