diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-10-16 18:28:30 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-10-16 23:35:39 -0400 |
| commit | 6b430fdb7c0c2c52ea69a7d56f23d739218b13d0 (patch) | |
| tree | 5ddb3975a8146fbee7c114e41a967e2abf9caa11 /src/machine/operation.c | |
| parent | d7604756ca5888350d5ed4ab6867baa967b24299 (diff) | |
tree-wide: use mfree more
Diffstat (limited to 'src/machine/operation.c')
| -rw-r--r-- | src/machine/operation.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/machine/operation.c b/src/machine/operation.c index 2bf93cb493..c966d0d21c 100644 --- a/src/machine/operation.c +++ b/src/machine/operation.c @@ -147,6 +147,5 @@ Operation *operation_free(Operation *o) { if (o->machine) LIST_REMOVE(operations_by_machine, o->machine->operations, o); - free(o); - return NULL; + return mfree(o); } |