Skip to content

Commit 5ec88cd

Browse files
author
Daniel Kroening
committed
isspace needs ctype include
1 parent c3fbb38 commit 5ec88cd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/util/string_utils.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ Author: Daniel Poetzl
77
\*******************************************************************/
88

99
#include <cassert>
10-
#include <iostream>
10+
#include <cctype>
1111

1212
#include "string_utils.h"
1313

0 commit comments

Comments
 (0)