Skip to content

Commit 863f904

Browse files
remove iostream
Signed-off-by: Lucas Cordeiro <[email protected]>
1 parent 76b4a34 commit 863f904

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

src/goto-instrument/cover.cpp

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,6 @@ Date: May 2016
88
99
\*******************************************************************/
1010

11-
#include <iostream>
12-
1311
#include <algorithm>
1412
#include <iterator>
1513

0 commit comments

Comments
 (0)