trigger checks

Author: sam-robson

cpp/ql/src/Critical/DoubleFreeBad.cpp

@@ -5,9 +5,9 @@ int* f() {
 	free(buff);
 	int *new_buffer = malloc(SIZE*sizeof(int));
 	free(buff);
-
 	// BAD: If new_buffer is assigned the same address as buff,
     // the memory allocator will free the new buffer memory region,
     // leading to use-after-free problems and memory corruption.
+	// abc
 	return new_buffer;
 }