diff options
Diffstat (limited to 'runtime/klee-libc/strcoll.c')
| -rw-r--r-- | runtime/klee-libc/strcoll.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/runtime/klee-libc/strcoll.c b/runtime/klee-libc/strcoll.c index 73d59f89..8f78b0b3 100644 --- a/runtime/klee-libc/strcoll.c +++ b/runtime/klee-libc/strcoll.c @@ -1,15 +1,15 @@ -//===-- strcoll.c ---------------------------------------------------------===// +/*===-- strcoll.c ---------------------------------------------------------===// // // The KLEE Symbolic Virtual Machine // // This file is distributed under the University of Illinois Open Source // License. See LICENSE.TXT for details. // -//===----------------------------------------------------------------------===// +//===----------------------------------------------------------------------===*/ #include <string.h> -// according to the manpage, this is equiv in the POSIX/C locale. +/* according to the manpage, this is equiv in the POSIX/C locale. */ int strcoll(const char *s1, const char *s2) { return strcmp(s1,s2); } |