Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
framework
/
tests
/
all-systems
/
Options.java
blob: c203e94d31fa22ecf021331535b135980df3f656 [
file
] [
log
] [
blame
]
public
class
Options
{
private
Class
main_class
;
public
Options
()
{
throw
new
Error
(
""
+
main_class
);
}
}