Fix header

Author: jefremof

usvm-python/cpythonadapter/src/main/c/include/virtual_objects.h

@@ -22,7 +22,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_virtual_object(JNIEnv *env, jobject object, const unsigned char *mask, size_t length)
+PyObject *_allocate_virtual_object(JNIEnv *env, jobject object, const unsigned char *mask, size_t length);
 PyObject *allocate_raw_virtual_object(JNIEnv *env, jobject object);
 PyObject *allocate_virtual_object(JNIEnv *env, jobject object, jbyteArray mask);
 void finish_virtual_object_initialization(VirtualPythonObject *object, ConcolicContext *ctx, SymbolicAdapter *adapter);