Suppress loading notModelled

reuk · reuk · commit a37f0909917f · 2017-08-24T12:50:36.000+01:00
diff --git a/src/java_bytecode/java_bytecode_convert_method.cpp b/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -2776,6 +2776,7 @@ void java_bytecode_convert_method(
     "nondetDouble",
     "nondetWithNull",
     "nondetWithoutNull",
+    "notModelled",
   };
 
   if(std::regex_match(
