Fix bug in typeOfJavaType that was turning long into int.

Brian Huffman · Brian Huffman · commit 4c31c078ae94 · 2020-11-25T13:09:17.000-08:00
diff --git a/src/SAWScript/Crucible/JVM/Builtins.hs b/src/SAWScript/Crucible/JVM/Builtins.hs
@@ -819,7 +819,7 @@ typeOfJavaType jty =
     JavaChar      -> J.CharType
     JavaShort     -> J.ShortType
     JavaInt       -> J.IntType
-    JavaLong      -> J.IntType
+    JavaLong      -> J.LongType
     JavaFloat     -> J.FloatType
     JavaDouble    -> J.DoubleType
     JavaArray _ t -> J.ArrayType (typeOfJavaType t)
