Move instructions_equal definition

Author: reuk

src/goto-diff/unified_diff.cpp

@@ -397,6 +397,25 @@ void unified_difft::output(std::ostream &os) const
   }
 }
 
+
+bool unified_difft::instructions_equal(
+  const goto_programt::instructiont &ins1,
+  const goto_programt::instructiont &ins2,
+  bool recurse) const
+{
+  return
+    ins1.code==ins2.code &&
+    ins1.function==ins2.function &&
+    ins1.type==ins2.type &&
+    ins1.guard==ins2.guard &&
+    ins1.targets.size()==ins2.targets.size() &&
+    (ins1.targets.empty() ||
+     instructions_equal(
+       *ins1.get_target(),
+       *ins2.get_target(),
+       false));
+}
+
 const unified_difft::differences_mapt &unified_difft::differences_map() const
 {
   return differences_map_;

src/goto-diff/unified_diff.h

@@ -88,20 +88,7 @@ class unified_difft
   bool instructions_equal(
     const goto_programt::instructiont &ins1,
     const goto_programt::instructiont &ins2,
-    bool recurse=true) const
-  {
-    return
-      ins1.code==ins2.code &&
-      ins1.function==ins2.function &&
-      ins1.type==ins2.type &&
-      ins1.guard==ins2.guard &&
-      ins1.targets.size()==ins2.targets.size() &&
-      (ins1.targets.empty() ||
-       instructions_equal(
-         *ins1.get_target(),
-         *ins2.get_target(),
-         false));
-  }
+    bool recurse=true) const;
 
   const differences_mapt &differences_map() const;