Move definition to cpp file

romainbrenguier · romainbrenguier · commit 6758aa288fd2 · 2018-12-11T09:09:24.000Z
diff --git a/src/util/ssa_expr.cpp b/src/util/ssa_expr.cpp
@@ -95,3 +95,9 @@ std::pair<irep_idt, irep_idt> ssa_exprt::build_identifier(
 
   return std::make_pair(irep_idt(oss.str()), irep_idt(l1_object_oss.str()));
 }
+
+void ssa_exprt::remove_level_2()
+{
+  remove(ID_L2);
+  update_identifier();
+}
diff --git a/src/util/ssa_expr.h b/src/util/ssa_expr.h
@@ -98,11 +98,7 @@ class ssa_exprt:public symbol_exprt
     update_identifier();
   }
 
-  void remove_level_2()
-  {
-    remove(ID_L2);
-    update_identifier();
-  }
+  void remove_level_2();
 
   const irep_idt get_level_0() const
   {

Original file line number	Diff line number	Diff line change
`@@ -95,3 +95,9 @@ std::pair<irep_idt, irep_idt> ssa_exprt::build_identifier(`
`95`	`95`
`96`	`96`	`return std::make_pair(irep_idt(oss.str()), irep_idt(l1_object_oss.str()));`
`97`	`97`	`}`
	`98`	`+`
	`99`	`+void ssa_exprt::remove_level_2()`
	`100`	`+{`
	`101`	`+ remove(ID_L2);`
	`102`	`+ update_identifier();`
	`103`	`+}`
Original file line number	Diff line number	Diff line change
`@@ -98,11 +98,7 @@ class ssa_exprt:public symbol_exprt`
`98`	`98`	`update_identifier();`
`99`	`99`	`}`
`100`	`100`
`101`		`- void remove_level_2()`
`102`		`- {`
`103`		`- remove(ID_L2);`
`104`		`- update_identifier();`
`105`		`- }`
	`101`	`+ void remove_level_2();`
`106`	`102`
`107`	`103`	`const irep_idt get_level_0() const`
`108`	`104`	`{`