Merge branch 'master' into string_hack

karmaresearch · Apr 10, 2019 · 73e1cd1 · 73e1cd1
2 parents edf4786 + 033f753
commit 73e1cd1
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/vlog/java/native/VLog.cpp b/src/vlog/java/native/VLog.cpp
@@ -418,6 +418,9 @@ extern "C" {
 
         //Transform the string into a C++ string
         std::string predName = jstring2string(env, p);
+        if (predName.find("neg_") == 0) {
+            predName = predName.substr(4);
+        }
 
         // TODO: fix this: this might create a new predicate if it does not exist.
         // There should be a way to just do a lookup???
@@ -441,6 +444,9 @@ extern "C" {
 
         //Transform the string into a C++ string
         std::string predName = jstring2string(env, p);
+        if (predName.find("neg_") == 0) {
+            predName = predName.substr(4);
+        }
 
         // TODO: fix this: this might create a new predicate if it does not exist.
         // There should be a way to just do a lookup???