diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-12-11 16:25:16 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-12-11 16:25:16 +0100 |
commit | 8d49d3cf83111fdaa563d41f3cad1e664863aabd (patch) | |
tree | 6acbb759fcae944594c52c7cbbf235b4bbe3159b /runtime | |
parent | 3b2ca46523f3fd730c9009aecbc575cc2abb15ca (diff) | |
download | compcert-kvx-8d49d3cf83111fdaa563d41f3cad1e664863aabd.tar.gz compcert-kvx-8d49d3cf83111fdaa563d41f3cad1e664863aabd.zip |
bad link
Diffstat (limited to 'runtime')
l--------- | runtime/kvx/ccomp_k1c_fixes.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/runtime/kvx/ccomp_k1c_fixes.h b/runtime/kvx/ccomp_k1c_fixes.h deleted file mode 120000 index b640c96e..00000000 --- a/runtime/kvx/ccomp_k1c_fixes.h +++ /dev/null @@ -1 +0,0 @@ -../include/ccomp_k1c_fixes.h
\ No newline at end of file |