edits

[satune.git] / src / ASTTransform / integerencoding.h

diff --git a/src/ASTTransform/integerencoding.h b/src/ASTTransform/integerencoding.h
index 15fbdd71682ee26037f35be69ec2990889d27256..2288dab431579cec6559ea8e08415fdd9a7af9fb 100644 (file)
--- a/src/ASTTransform/integerencoding.h
+++ b/src/ASTTransform/integerencoding.h
@@ -16,9 +16,8 @@
 #include "classlist.h"
 #include "structs.h"
 
-Element *getOrderIntegerElement(SATEncoder *This,Order *order, uint64_t item);
-void orderIntegerEncodingSATEncoder(SATEncoder *This, BooleanOrder *boolOrder);
-
+Element *getOrderIntegerElement(CSolver *solver, Order *order, uint64_t item);
+void orderIntegerEncodingSATEncoder(CSolver *solver, BooleanOrder *boolOrder);
 
 #endif/* INTEGERENCODING_H */