minor changes

Signed-off-by: Lucas Cordeiro <[email protected]>

Author: lucasccordeiro

src/goto-instrument/cover.cpp

@@ -8,8 +8,6 @@ Date: May 2016
 
 \*******************************************************************/
 
-#include <iostream>
-
 #include <algorithm>
 #include <iterator>
 
@@ -1615,7 +1613,7 @@ bool consider_goals(
     result=false;
   else
     result = !((count_decl==0) && (count_goto<=1) &&
-		     (count_assignments>0 && count_assignments<5));
+             (count_assignments>0 && count_assignments<5));
 
   return result;
 }