mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
8 lines
317 B
Plaintext
8 lines
317 B
Plaintext
generated/ErrorMissingConstructor.java:4: error: variable a not initialized in the default constructor
|
|
public final boolean a;
|
|
^
|
|
generated/ErrorMissingConstructor.java:5: error: variable b not initialized in the default constructor
|
|
public final boolean b;
|
|
^
|
|
2 errors
|