diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-16 14:47:38 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-16 14:47:38 +0100 |
| commit | 1b929c6f3ac51372914c4c0d49be8f27caee5ca5 (patch) | |
| tree | 91b0f3ce6d1282dd447df78248cb1f459128abfb /doc/.gitignore | |
| parent | 84c4437004d9c4767da56500661f49afe4582658 (diff) | |
vm: remove the declaration of memory_object_create_proxy
It is not clear to me why the declaration was put there in the first
place. It is not used anywhere, and it conflicts with the declaration
generated by mig.
* vm/memory_object_proxy.h (memory_object_create_proxy): Remove declaration.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions