From 570350415404ed7de45cce87738d81bc7fffae40 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Sun, 24 Jun 2018 17:06:10 +0100
Subject: [PATCH] Remove unused parameter identifier

---
 src/goto-diff/unified_diff.cpp | 3 +--
 src/goto-diff/unified_diff.h   | 1 -
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/goto-diff/unified_diff.cpp b/src/goto-diff/unified_diff.cpp
index bac4a659694..aaaaa46420c 100644
--- a/src/goto-diff/unified_diff.cpp
+++ b/src/goto-diff/unified_diff.cpp
@@ -145,7 +145,6 @@ void unified_difft::output_diff(
 }
 
 unified_difft::differencest unified_difft::lcss(
-  const irep_idt &identifier,
   const goto_programt &old_goto_program,
   const goto_programt &new_goto_program)
 {
@@ -323,7 +322,7 @@ void unified_difft::unified_diff(
         new_goto_program.instructions.size(), differencet::NEW);
   }
   else
-    differences=lcss(identifier, old_goto_program, new_goto_program);
+    differences=lcss(old_goto_program, new_goto_program);
 }
 
 bool unified_difft::operator()()
diff --git a/src/goto-diff/unified_diff.h b/src/goto-diff/unified_diff.h
index b1da13aa8f2..d5973c6031d 100644
--- a/src/goto-diff/unified_diff.h
+++ b/src/goto-diff/unified_diff.h
@@ -62,7 +62,6 @@ class unified_difft
     const goto_programt &new_goto_program);
 
   static differencest lcss(
-    const irep_idt &identifier,
     const goto_programt &old_goto_program,
     const goto_programt &new_goto_program);