Resourceのequalsに残っていたgetTypeを削除しました

Fork: 0

nitta-lab / RDLProofSystem

Browse code Resourceのequalsに残っていたgetTypeを削除しました feature/axiom-inference-mk2 fixResource main
1 parent 420e35d commit f21d84d9790b569d16b8139bedd7644a42041e93 s-machida authored 15 days ago

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View src/main/java/models/terms/Resource.java

Show line notes below