Run tabbing pass

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

diff --git a/src/Backend/sattranslator.h b/src/Backend/sattranslator.h
index be5c8c0fdfd11082f6f1457b45f206573ef7722d..1d9964fe38755cabb1c845b38d5fbcaf76a04c4f 100644 (file)
--- a/src/Backend/sattranslator.h
+++ b/src/Backend/sattranslator.h
@@ -15,7 +15,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 
+ * most significant bit is represented by variable index 0
  */
 uint64_t getElementValueBinaryIndexSATTranslator(CSolver *This, ElementEncoding *elemEnc);
 uint64_t getElementValueBinaryValueSATTranslator(CSolver *This, ElementEncoding *elemEnc);