Make update_covered_lines a static function

This is only working on the block_info member.
smowton · Feb 13, 2018 · 35422f3 · 35422f3
1 parent 0f3ae1a
commit 35422f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/goto-instrument/cover_basic_blocks.h b/src/goto-instrument/cover_basic_blocks.h
@@ -82,7 +82,7 @@ class cover_basic_blockst
 
   /// create list of covered lines as CSV string and set as property of source
   /// location of basic block, compress to ranges if applicable
-  void update_covered_lines(block_infot &block_info);
+  static void update_covered_lines(block_infot &block_info);
 };
 
 #endif // CPROVER_GOTO_INSTRUMENT_COVER_BASIC_BLOCKS_H