X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Fboolean.h;h=15ebd52b9a3532ff0a13c5e6ca1465f8fdc87dcb;hp=3ec27e81f6a42ade900850d365f02abe2bdc8909;hb=487b405f45bfc928a981a2b3613c08f26cf4a9e5;hpb=97bf419957f74ae90692570a887235ec46ed4664

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index 3ec27e8..15ebd52 100644
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -5,9 +5,9 @@
 #include "ops.h"
 #include "structs.h"
 
-/** 
-		This is a little sketchy, but apparently legit.
-		https://www.python.org/dev/peps/pep-3123/ */
+/**
+    This is a little sketchy, but apparently legit.
+    https://www.python.org/dev/peps/pep-3123/ */
 
 #define GETBOOLEANTYPE(o) (((Boolean *)(o))->btype)
 
@@ -35,10 +35,10 @@ struct BooleanLogic {
 	Boolean * right;
 };
 
-struct BooleanPredicate{
-    Boolean base;
-    Predicate * predicate;
-    VectorElement* inputs;
+struct BooleanPredicate {
+	Boolean base;
+	Predicate * predicate;
+	VectorElement* inputs;
 };
 
 Boolean * allocBoolean(VarType t);
@@ -51,7 +51,7 @@ Boolean * allocBooleanLogic(LogicOp op, Boolean * left, Boolean* right);
  * @param op
  * @param array
  * @param asize
- * @return 
+ * @return
  */
 Boolean * allocBooleanLogicArray(CSolver *solver, LogicOp op, Boolean ** array, uint asize);
 void deleteBoolean(Boolean * This);