Scratch: fix scratch free issue when memory allocation fails

Fixes github issue #174

diff --git a/src/scratch.c b/src/scratch.c
index b46306406c0e2c072b1db8d98928340b1e52ecf4..25991e2bbad481ba52926742d95b9ce351007887 100644 (file)
--- a/src/scratch.c
+++ b/src/scratch.c
@@ -279,7 +279,9 @@ hs_error_t HS_CDECL hs_alloc_scratch(const hs_database_t *db,
     hs_error_t proto_ret = hs_check_alloc(proto_tmp);
     if (proto_ret != HS_SUCCESS) {
         hs_scratch_free(proto_tmp);
-        hs_scratch_free(*scratch);
+        if (*scratch) {
+            hs_scratch_free((*scratch)->scratch_alloc);
+        }
         *scratch = NULL;
         return proto_ret;
     }