allow nullptr to be used as argument to clingo_solve_handle_close

potassco · Mar 7, 2017 · aaf3d8f · aaf3d8f
1 parent 1c79295
commit aaf3d8f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libclingo/src/control.cc b/libclingo/src/control.cc
@@ -971,7 +971,7 @@ extern "C" bool clingo_solve_handle_wait(clingo_solve_handle_t *handle, double t
     GRINGO_CLINGO_CATCH;
 }
 extern "C" bool clingo_solve_handle_close(clingo_solve_handle_t *handle) {
-    GRINGO_CLINGO_TRY { handle->cancel(); }
+    GRINGO_CLINGO_TRY { if (handle) { handle->cancel(); } }
     GRINGO_CLINGO_CATCH;
 }
 extern "C" bool clingo_solve_handle_model(clingo_solve_handle_t *handle, clingo_model_t **model) {