diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-07 12:49:16 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-07 12:49:16 +0100 |
commit | 3baf8f9f39d6d5c792ccdf716f4fd405da007676 (patch) | |
tree | fdb25c5a5653c53e8be5a06817c8d4a7ce66e615 | |
parent | 92b2b70c998c3a763a5c08343dc1c05254380322 (diff) | |
download | compcert-kvx-3baf8f9f39d6d5c792ccdf716f4fd405da007676.tar.gz compcert-kvx-3baf8f9f39d6d5c792ccdf716f4fd405da007676.zip |
forgot the .h
-rw-r--r-- | test/monniaux/glibc_qsort/glibc_qsort.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/monniaux/glibc_qsort/glibc_qsort.h b/test/monniaux/glibc_qsort/glibc_qsort.h new file mode 100644 index 00000000..98719b6c --- /dev/null +++ b/test/monniaux/glibc_qsort/glibc_qsort.h @@ -0,0 +1,4 @@ +typedef int comparison(const void *, const void *, void *); + +void quicksort (void *const pbase, size_t total_elems, size_t size, + comparison *cmp, void *arg); |