diff options
Diffstat (limited to 'tools/veridex/veridex.h')
| -rw-r--r-- | tools/veridex/veridex.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/veridex/veridex.h b/tools/veridex/veridex.h index 75e4845293..9c0a158174 100644 --- a/tools/veridex/veridex.h +++ b/tools/veridex/veridex.h @@ -65,6 +65,7 @@ class VeriClass { static VeriClass* object_; static VeriClass* class_; + static VeriClass* class_loader_; static VeriClass* string_; static VeriClass* throwable_; static VeriClass* boolean_; @@ -83,6 +84,7 @@ class VeriClass { static VeriMethod getMethod_; static VeriMethod getDeclaredMethod_; static VeriMethod getClass_; + static VeriMethod loadClass_; private: Primitive::Type kind_; |