projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a531a3) | patch
Fix javadoc custom tag warning (#8502)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Fri, 1 Apr 2022 09:33:14 +0000 (04:33 -0500)
committerGitHub <noreply@github.com>
Fri, 1 Apr 2022 09:33:14 +0000 (09:33 +0000)
commit2e2d6b623c919e086a53fddfbcece9c22d50f5b3
tree3e0d66c4037c959291007a5322172321753f1437tree
parent0a531a383e7281bc6ca1bf6610d067f1cc34a8b8commit | diff
Fix javadoc custom tag warning (#8502)

Fix this warning
Note: Custom tags that could override future standard tags:  @apiNote. To avoid potential overrides, use at least one period character (.) in custom tag names.
docs/api/java/CMakeLists.txt diff | blob | history
src/api/java/io/github/cvc5/Datatype.java diff | blob | history
src/api/java/io/github/cvc5/DatatypeConstructor.java diff | blob | history
src/api/java/io/github/cvc5/Solver.java diff | blob | history
src/api/java/io/github/cvc5/Sort.java diff | blob | history
src/api/java/io/github/cvc5/Term.java diff | blob | history