From 1c96ae55096ad2ec65fd1577ba615f79ad950813 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Thu, 2 Nov 2017 18:13:27 +0000 Subject: [PATCH] Revert "Make more member function static in unified_difft" --- src/goto-diff/unified_diff.cpp | 4 ++-- src/goto-diff/unified_diff.h | 8 ++++---- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/goto-diff/unified_diff.cpp b/src/goto-diff/unified_diff.cpp index 6cd5b556f3e..aefcdc4c91c 100644 --- a/src/goto-diff/unified_diff.cpp +++ b/src/goto-diff/unified_diff.cpp @@ -54,7 +54,7 @@ unified_difft::get_diff(const irep_idt &function) const unified_difft::goto_program_difft unified_difft::get_diff( const goto_programt &old_goto_program, const goto_programt &new_goto_program, - const differencest &differences) + const differencest &differences) const { goto_programt::instructionst::const_iterator old_it = old_goto_program.instructions.begin(); @@ -148,7 +148,7 @@ void unified_difft::lcss( const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program, - differencest &differences) + differencest &differences) const { std::size_t old_count = old_goto_program.instructions.size(); std::size_t new_count = new_goto_program.instructions.size(); diff --git a/src/goto-diff/unified_diff.h b/src/goto-diff/unified_diff.h index 1b785881542..e8a6e227e46 100644 --- a/src/goto-diff/unified_diff.h +++ b/src/goto-diff/unified_diff.h @@ -61,16 +61,16 @@ class unified_difft const goto_programt &old_goto_program, const goto_programt &new_goto_program); - static void lcss( + void lcss( const irep_idt &identifier, const goto_programt &old_goto_program, const goto_programt &new_goto_program, - differencest &differences); + differencest &differences) const; - static goto_program_difft get_diff( + goto_program_difft get_diff( const goto_programt &old_goto_program, const goto_programt &new_goto_program, - const differencest &differences); + const differencest &differences) const; void output_diff( const irep_idt &identifier,