From 881db2e8a7f504b9c603eed152bc5ea0c8e1695b Mon Sep 17 00:00:00 2001
From: Joel Allred <joel.allred@diffblue.com>
Date: Thu, 6 Sep 2018 19:21:06 +0100
Subject: [PATCH] Make class_typet::get_final const

---
 jbmc/src/java_bytecode/java_types.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jbmc/src/java_bytecode/java_types.h b/jbmc/src/java_bytecode/java_types.h
index 4792231cdd7..183aca76cde 100644
--- a/jbmc/src/java_bytecode/java_types.h
+++ b/jbmc/src/java_bytecode/java_types.h
@@ -161,7 +161,7 @@ class java_class_typet:public class_typet
     return set(ID_is_anonymous, is_anonymous_class);
   }
 
-  bool get_final()
+  bool get_final() const
   {
     return get_bool(ID_final);
   }