X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=branchrecord.h;h=1cc1152ce05c806a291bfda62b8c0b76c58dbe5d;hp=aa5e4a27512ab7fb397af85a3348cb37fa2619ed;hb=086658309f67c28dc254b06bda5bafa8c3e191d6;hpb=5f3838b041321eb417737eed51c8639266c0d77c

diff --git a/branchrecord.h b/branchrecord.h
index aa5e4a2..1cc1152 100644
--- a/branchrecord.h
+++ b/branchrecord.h
@@ -12,7 +12,7 @@
 #include "classlist.h"
 
 class BranchRecord {
- public:
+public:
 	BranchRecord(EPRecord *record, uint numvars, Constraint **vars, bool isalwaysexecuted);
 	~BranchRecord();
 	Constraint * getAnyBranch();
@@ -22,12 +22,12 @@ class BranchRecord {
 	int numDirections() {return numdirections;}
 	bool hasNextRecord() {return hasNext;}
 	MEMALLOC;
- private:
-  EPRecord *branch;
+private:
+	EPRecord *branch;
 	bool hasNext;
-  uint numvars;
+	uint numvars;
 	uint numdirections;
 	bool alwaysexecuted;
-  Constraint **vars;
+	Constraint **vars;
 };
 #endif