java/jlint/files/patch-jlint.d


1
2
3
4
5
6
7
8
9
10
11

--- jlint.d.orig	2020-03-22 06:04:53 UTC
+++ jlint.d
@@ -114,7 +114,7 @@ JAVA_INSN(111, ddiv, 1)
 JAVA_INSN(112, irem, 1)
 JAVA_INSN(113, lrem, 1)
 JAVA_INSN(114, frem, 1)
-JAVA_INSN(115, drem, 1)
+JAVA_INSN(115, Jdrem, 1)
 JAVA_INSN(116, ineg, 1)
 JAVA_INSN(117, lneg, 1)
 JAVA_INSN(118, fneg, 1)