Commit d6e033f0 authored by Alexander Diewald's avatar Alexander Diewald
Browse files

- [Build FIX] The facade pattern implies that that it shall not inherit from...

- [Build FIX] The facade pattern implies that that it shall not inherit from specification. Hence, make the constructor public...
parent 1b5f42c7
......@@ -73,7 +73,7 @@ public class Specification {
}
/** Constructs a non-bmc specification. */
protected Specification(EModelCheckingType type, IExpressionTerm expression) {
public Specification(EModelCheckingType type, IExpressionTerm expression) {
this.type = type;
this.expression = expression;
this.useBMC = false;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment