diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-22 18:13:57 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-22 18:13:57 +0100 |
commit | 94c51be3203aedbf7874c812b90176069a53c88f (patch) | |
tree | 30ca3102b80a9fd5c3a562245c12964574f976db | |
parent | 8909fb3df6fd282d6b8f24b288ef5d7ddbdb741a (diff) | |
download | compcert-kvx-94c51be3203aedbf7874c812b90176069a53c88f.tar.gz compcert-kvx-94c51be3203aedbf7874c812b90176069a53c88f.zip |
attribution
-rw-r--r-- | test/monniaux/des/des.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/monniaux/des/des.c b/test/monniaux/des/des.c index e8fae267..64ccdc5e 100644 --- a/test/monniaux/des/des.c +++ b/test/monniaux/des/des.c @@ -1,3 +1,4 @@ +/* From Rosetta Code */ #include <stdio.h> #include <stdlib.h> #include <string.h> |