diff options
Diffstat (limited to 'src/util/statistics.i')
-rw-r--r-- | src/util/statistics.i | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/statistics.i b/src/util/statistics.i index 7f3bbe526..bd3a4eeb9 100644 --- a/src/util/statistics.i +++ b/src/util/statistics.i @@ -62,7 +62,7 @@ jenv->SetObjectArrayElement($result, 0, jenv->NewStringUTF($1.first.c_str())); jclass clazz = jenv->FindClass("edu/nyu/acsys/CVC4/SExpr"); jmethodID methodid = jenv->GetMethodID(clazz, "<init>", "(JZ)V"); - jenv->SetObjectArrayElement($result, 1, jenv->NewObject(jenv->FindClass("edu/nyu/acsys/CVC4/SExpr"), methodid, reinterpret_cast<long>(new CVC4::SExpr($1.second)), true)); + jenv->SetObjectArrayElement($result, 1, jenv->NewObject(clazz, methodid, reinterpret_cast<long>(new CVC4::SExpr($1.second)), true)); }; #endif /* SWIGJAVA */ |