Remove unused parameter identifier

tautschnig · tautschnig · commit 570350415404 · 2018-06-25T22:30:30.000+01:00
diff --git 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
@@ -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);
 

Original file line number	Diff line number	Diff line change
`@@ -145,7 +145,6 @@ void unified_difft::output_diff(`
`145`	`145`	`}`
`146`	`146`
`147`	`147`	`unified_difft::differencest unified_difft::lcss(`
`148`		`- const irep_idt &identifier,`
`149`	`148`	`const goto_programt &old_goto_program,`
`150`	`149`	`const goto_programt &new_goto_program)`
`151`	`150`	`{`
`@@ -323,7 +322,7 @@ void unified_difft::unified_diff(`
`323`	`322`	`new_goto_program.instructions.size(), differencet::NEW);`
`324`	`323`	`}`
`325`	`324`	`else`
`326`		`- differences=lcss(identifier, old_goto_program, new_goto_program);`
	`325`	`+ differences=lcss(old_goto_program, new_goto_program);`
`327`	`326`	`}`
`328`	`327`
`329`	`328`	`bool unified_difft::operator()()`