Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
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
);
}
}