X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTTransform%2Fdecomposeordertransform.h;h=1fe7356370686ff8428596814c106dd3862063ad;hp=25aea89d4f0c797fa8d7baecafd3f523222550f9;hb=1541217555724e35edaa6b98683aa9258f5d3df3;hpb=db18e3357fda778cdf03b6338a0301b4bd9525c2

diff --git a/src/ASTTransform/decomposeordertransform.h b/src/ASTTransform/decomposeordertransform.h
index 25aea89..1fe7356 100644
--- a/src/ASTTransform/decomposeordertransform.h
+++ b/src/ASTTransform/decomposeordertransform.h
@@ -13,7 +13,7 @@
 
 class DecomposeOrderTransform : public Transform {
 public:
-	DecomposeOrderTransform(CSolver* _solver, Order* order, Tunables _tunable, TunableDesc* _desc);
+	DecomposeOrderTransform(CSolver* _solver, Order* order);
 	virtual ~DecomposeOrderTransform();
 	void doTransform();
 	void setOrderGraph(OrderGraph* _graph){