summaryrefslogtreecommitdiff
path: root/src/tools/irm/irm_ops.h
diff options
context:
space:
mode:
authorSander Vrijders <sander.vrijders@intec.ugent.be>2016-05-14 18:57:24 +0200
committerSander Vrijders <sander.vrijders@intec.ugent.be>2016-05-14 18:57:24 +0200
commit8f1e46eab45ba0f497f05d6fe18fb83d8590b3e9 (patch)
tree023099499dd9cd60107dd9ca75af94e5987754cf /src/tools/irm/irm_ops.h
parent0cbf6e091c66b7d5004a4fc3b368fc2fcdd4fe8a (diff)
downloadouroboros-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