diff options
| author | Markus Elfring <elfring@users.sourceforge.net> | 2015-08-17 09:10:56 +0200 |
|---|---|---|
| committer | Markus Elfring <elfring@users.sourceforge.net> | 2015-08-17 09:10:56 +0200 |
| commit | f00ef7f5d43980e82ed7caa1ac3530b3713cbd76 (patch) | |
| tree | d46c0dbacbda7da7ad561abcf7e8d5f5946e8dc7 /src/machine | |
| parent | 0d4605ec3c9c1392bb5f0abc590b1d855df5eebb (diff) | |
Bug #944: Replacement of a free() call by mfree()
The function "mfree" should be called instead of "free" at a specific
source code place.
Diffstat (limited to 'src/machine')
0 files changed, 0 insertions, 0 deletions