X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=mcschedule.h;h=185a50fe7671fd7c910e1559b0dba7da95f022c5;hp=d7fb852d361bad763e287d9e684b85e185c97187;hb=HEAD;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a

diff --git a/mcschedule.h b/mcschedule.h
index d7fb852..185a50f 100644
--- a/mcschedule.h
+++ b/mcschedule.h
@@ -15,20 +15,20 @@
 #include "stl-model.h"
 
 class WaitPair {
- public:
+public:
 	WaitPair(ExecPoint * stoppoint, ExecPoint * waitpoint);
 	~WaitPair();
 	ExecPoint * getStop();
 	ExecPoint * getWait();
 
 	MEMALLOC;
- private:
+private:
 	ExecPoint *stop_point;
 	ExecPoint *wait_point;
 };
 
 class MCScheduler {
- public:
+public:
 	MCScheduler(MCExecution * e);
 	~MCScheduler();
 	ucontext_t * get_system_context() { return &system_context; }
@@ -44,7 +44,7 @@ class MCScheduler {
 	void setNewFlag();
 
 	MEMALLOC;
- private:
+private:
 	unsigned int waitsetlen;
 	ucontext_t system_context;
 	MCExecution *execution;