From e90c1f6210435e3638c5e95a57c5a66cccf4868d Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Thu, 19 Nov 2020 14:19:05 -0800
Subject: [PATCH] Update jvm-parser to include GaloisInc/jvm-parser#5.

Fixes #920.
---
 deps/jvm-parser | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/jvm-parser b/deps/jvm-parser
index 5368a84117..d440e6bc91 160000
--- a/deps/jvm-parser
+++ b/deps/jvm-parser
@@ -1 +1 @@
-Subproject commit 5368a84117dc28e0002003e8d8a491dd8756b421
+Subproject commit d440e6bc91c9ba7d48f04e3a7cbf3086d9720b1e