clean up the includes in prop_conv.h

Daniel Kroening · Daniel Kroening · commit 5dd31e7df679 · 2019-04-08T14:51:27.000+01:00
diff --git a/src/solvers/prop/cover_goals.cpp b/src/solvers/prop/cover_goals.cpp
@@ -11,12 +11,12 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include "cover_goals.h"
 
-#include <util/message.h>
-#include <util/threeval.h>
-
 #include "literal_expr.h"
 #include "prop_conv.h"
 
+#include <util/message.h>
+#include <util/threeval.h>
+
 cover_goalst::~cover_goalst()
 {
 }

Original file line number	Diff line number	Diff line change
`@@ -11,12 +11,12 @@ Author: Daniel Kroening, [email protected]`
`11`	`11`
`12`	`12`	`#include "cover_goals.h"`
`13`	`13`
`14`		`-#include <util/message.h>`
`15`		`-#include <util/threeval.h>`
`16`		`-`
`17`	`14`	`#include "literal_expr.h"`
`18`	`15`	`#include "prop_conv.h"`
`19`	`16`
	`17`	`+#include <util/message.h>`
	`18`	`+#include <util/threeval.h>`
	`19`	`+`
`20`	`20`	`cover_goalst::~cover_goalst()`
`21`	`21`	`{`
`22`	`22`	`}`