RDLProofSystem/src/main/java/parser/exceptions/ExpectedRightBracket.java at feature/axiom-inference-mk2

Fork: 0

nitta-lab / RDLProofSystem

Find file

Newer

Older

RDLProofSystem / src / main / java / parser / exceptions / ExpectedRightBracket.java

Sakoda2269 5 days ago 150 bytes DTRAMからalgebraを抜き出し、DTRAMの依存を解消

Raw Blame History

package parser.exceptions;

public class ExpectedRightBracket extends ParseException {

	public ExpectedRightBracket(int line) {
		super(line);
	}

}