From e10e81a79070995de8d41caad5dad448a8a3c8be Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Tue, 9 Jun 2009 00:49:49 +0000
Subject: Fix a compiler warning

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73106 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/SMT/smtlib.lex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/SMT')

diff --git a/lib/SMT/smtlib.lex b/lib/SMT/smtlib.lex
index 25032eeb..75986a99 100644
--- a/lib/SMT/smtlib.lex
+++ b/lib/SMT/smtlib.lex
@@ -54,7 +54,7 @@ static int smtlibinput(std::istream& is, char* buf, int size) {
     if(partialStr)
       is.clear();
 
-    for(res = 0; res<size && buf[res] != 0; res++);
+    for(res = 0; res<size && buf[res] != 0; res++) ;
     if(res == size) smtliberror("Lexer bug: overfilled the buffer");
     if(!partialStr) { // Insert \n into the buffer
       buf[res++] = '\n';
-- 
cgit 1.4.1