diff options
| author | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-05-14 18:57:24 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2016-05-14 18:57:24 +0200 |
| commit | 8f1e46eab45ba0f497f05d6fe18fb83d8590b3e9 (patch) | |
| tree | 023099499dd9cd60107dd9ca75af94e5987754cf /src/tools/irm/irm_ops.h | |
| parent | 0cbf6e091c66b7d5004a4fc3b368fc2fcdd4fe8a (diff) | |
| download | ouroboros-8f1e46eab45ba0f497f05d6fe18fb83d8590b3e9.tar.gz ouroboros-8f1e46eab45ba0f497f05d6fe18fb83d8590b3e9.zip | |
lib: Fix header inclusion
This fixes wrong header inclusion that would make programs which are
not developed within ouroboros fail upon compilation, since they would
not find certain headers on their system.
Diffstat (limited to 'src/tools/irm/irm_ops.h')
0 files changed, 0 insertions, 0 deletions