Adding OrderPairResolver

[satune.git] / src / Translator / sattranslator.h

diff --git a/src/Translator/sattranslator.h b/src/Translator/sattranslator.h
index 1d9964fe38755cabb1c845b38d5fbcaf76a04c4f..3cfaf83d893c7f9fb19140549344151a63ff8d41 100644 (file)
--- a/src/Translator/sattranslator.h
+++ b/src/Translator/sattranslator.h
@@ -13,7 +13,7 @@
 
 
 bool getBooleanVariableValueSATTranslator( CSolver *This, Boolean *boolean);
-HappenedBefore getOrderConstraintValueSATTranslator(CSolver *This, Order *order, uint64_t first, uint64_t second);
+
 /**
  * most significant bit is represented by variable index 0
  */