exceptionの内容を修正

Fork: 0

nitta-lab / RDLProofSystem

Browse code exceptionの内容を修正 feature/axiom-inference-mk2 fix/dependencyTerm-constructor main
1 parent d230112 commit 14f09119288dbe5debaa14e446673a80b9c08e44 Sakoda2269 authored 11 days ago

Patch

Unified Split

Showing 1 changed file

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

Show line notes below