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

Fork: 0

nitta-lab / RDLProofSystem

Find file

Newer

Older

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

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

Raw Blame History

package parser.exceptions;

public class ExpectedDoubleQuotation extends ParseException {
	
	public ExpectedDoubleQuotation(int line) {
		super(line);
	}
}