Move #include from header to source file

Owen Jones · Owen Jones · commit 767ab8b2848e · 2018-03-02T10:44:19.000Z
diff --git a/src/pointer-analysis/local_value_set.cpp b/src/pointer-analysis/local_value_set.cpp
@@ -4,6 +4,7 @@
 /// Local value-set analysis
 
 #include "local_value_set.h"
+#include "external_value_set_expr.h"
 
 #include <util/simplify_expr_class.h>
 #include <util/infix.h>
diff --git a/src/pointer-analysis/local_value_set.h b/src/pointer-analysis/local_value_set.h
@@ -8,7 +8,6 @@
 
 #include <pointer-analysis/value_set.h>
 #include <util/json.h>
-#include "external_value_set_expr.h"
 
 class local_value_sett : public value_sett
 {

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,6 @@`
`8`	`8`
`9`	`9`	`#include <pointer-analysis/value_set.h>`
`10`	`10`	`#include <util/json.h>`
`11`		`-#include "external_value_set_expr.h"`
`12`	`11`
`13`	`12`	`class local_value_sett : public value_sett`
`14`	`13`	`{`