diff options
| author | Paul Selkirk <paul@psgd.org> | 2016-08-10 17:48:40 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2016-08-10 17:49:02 -0400 |
| commit | f5a63c380d9091b002949624001b2b1426454b56 (patch) | |
| tree | 341e4c50b139559abf8cd230c4e2463fe48a8b05 /utils | |
| parent | 9960e43c1a6b7f83b4a345acedbda56fbeaaae0c (diff) | |
| parent | 30f8e4e85b6a337291b09d55d8edc15e422b6341 (diff) | |
Merge branch 'resource_management'
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/cores.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/cores.c b/utils/cores.c index 18e994d..b055dea 100644 --- a/utils/cores.c +++ b/utils/cores.c @@ -44,7 +44,7 @@ int main(int argc, char *argv[]) { - const hal_core_t *core; + hal_core_t *core; const hal_core_info_t *info; for (core = hal_core_iterate(NULL); core != NULL; core = hal_core_iterate(core)) { |