diff --git a/tools/cover/coverage.cpp b/tools/cover/coverage.cpp
index 4c727de95c960b0b7decfed24dcbf261cbf9e664..ff71ea869190bfd6fc3a71b1d65dc0a8cf89e46e 100644
--- a/tools/cover/coverage.cpp
+++ b/tools/cover/coverage.cpp
@@ -131,8 +131,6 @@ void coverage::print_coverage_for_file(file_coverage *fc, FileIR_t *fileirp, ofs
 			if(instr==NULL || instr->GetAddress()==NULL)
 				continue;
 
-			total_ins++;
-
 			unsigned int addr = (unsigned int) instr->GetAddress()->GetVirtualOffset();
 			if(fc->coverage.find(addr)!=fc->coverage.end())
 				covered_ins++;