From 55488db3f978dce56ed45836bb72cba827e095b6 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 2 Apr 2015 17:53:21 +0100 Subject: Use C instead of C++ comments in C files to silence compiler warnings. --- runtime/klee-libc/tolower.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'runtime/klee-libc/tolower.c') diff --git a/runtime/klee-libc/tolower.c b/runtime/klee-libc/tolower.c index 265f5deb..a311f2010 100644 --- a/runtime/klee-libc/tolower.c +++ b/runtime/klee-libc/tolower.c @@ -1,11 +1,11 @@ -//===-- tolower.c ---------------------------------------------------------===// +/*===-- tolower.c ---------------------------------------------------------===// // // The KLEE Symbolic Virtual Machine // // This file is distributed under the University of Illinois Open Source // License. See LICENSE.TXT for details. // -//===----------------------------------------------------------------------===// +//===----------------------------------------------------------------------===*/ int tolower(int ch) { if ( (unsigned int)(ch - 'A') < 26u ) -- cgit 1.4.1