diff --git a/src/user/user_api.cc b/src/user/user_api.cc index 73db82d8..23f56ec1 100644 --- a/src/user/user_api.cc +++ b/src/user/user_api.cc @@ -1136,7 +1136,7 @@ mjsFrame* mjs_findFrame(mjSpec* s, const char* name) { // set frame int mjs_setFrame(mjsElement* dest, mjsFrame* frame) { - if (!frame) { + if (!frame || !dest) { return -1; } mjCFrame* frameC = static_cast(frame->element);