diff --git a/jbmc/src/java_bytecode/java_utils.h b/jbmc/src/java_bytecode/java_utils.h
index f0fe1e29f2d..234a3f81008 100644
--- a/jbmc/src/java_bytecode/java_utils.h
+++ b/jbmc/src/java_bytecode/java_utils.h
@@ -20,6 +20,7 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <goto-programs/resolve_inherited_component.h>
 
+DEPRECATED(SINCE(2019, 6, 10, "use is_java_array_type instead"))
 bool java_is_array_type(const typet &type);
 
 /// Returns true iff the argument represents a string type (CharSequence,