Skip to content

Commit

Permalink
Fix type mismatch
Browse files Browse the repository at this point in the history
  • Loading branch information
jefremof committed Aug 23, 2024
1 parent 7ecac5e commit af6a944
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ void initialize_virtual_object_available_slots();
void deinitialize_virtual_object_available_slots();
void initialize_virtual_object_ready_types();
void deinitialize_virtual_object_ready_types();
PyObject *_allocate_raw_virtual_object(JNIEnv *env, jobject object, char *mask, size_t length);
PyObject *_allocate_raw_virtual_object(JNIEnv *env, jobject object, const unsigned char *mask, size_t length);
PyObject *allocate_raw_virtual_object_with_all_slots(JNIEnv *env, jobject object);
PyObject *allocate_raw_virtual_object(JNIEnv *env, jobject object, jbyteArray mask);
void finish_virtual_object_initialization(VirtualPythonObject *object, ConcolicContext *ctx, SymbolicAdapter *adapter);
Expand Down

0 comments on commit af6a944

Please sign in to comment.