diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-19 11:31:04 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-19 11:31:04 +0200 |
| commit | c1af49a809efe593317c2b836be115e24e7b8f18 (patch) | |
| tree | fe4a549bdd4b111e842ecbc05c469398b23b8bde /test/monniaux/lustrev4_lustrec_heater_control/heater_control.h | |
| parent | cde2827856693a98f89d21e11dca258ef6c08ce2 (diff) | |
| download | compcert-kvx-c1af49a809efe593317c2b836be115e24e7b8f18.tar.gz compcert-kvx-c1af49a809efe593317c2b836be115e24e7b8f18.zip | |
add arrow.h from LustreC
Diffstat (limited to 'test/monniaux/lustrev4_lustrec_heater_control/heater_control.h')
| -rw-r--r-- | test/monniaux/lustrev4_lustrec_heater_control/heater_control.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/lustrev4_lustrec_heater_control/heater_control.h b/test/monniaux/lustrev4_lustrec_heater_control/heater_control.h index d25a7d52..405f9a74 100644 --- a/test/monniaux/lustrev4_lustrec_heater_control/heater_control.h +++ b/test/monniaux/lustrev4_lustrec_heater_control/heater_control.h @@ -8,7 +8,7 @@ /* Imports standard library */ #include <stdint.h> -#include "/opt/lustrec/1.6/include/lustrec/arrow.h" +#include "arrow.h" /* Import dependencies */ |