X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=branchrecord.h;h=1cc1152ce05c806a291bfda62b8c0b76c58dbe5d;hb=bd644b5504a9bfc394bf245dc7a8579ebed9254a;hp=aa5e4a27512ab7fb397af85a3348cb37fa2619ed;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

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