X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=epvalue.h;h=13ceea84241d7cccb1b2ecccfa465a52172a6b18;hp=5d3a85ba6379d23386be5eea323a9bea039f23c6;hb=HEAD;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a

diff --git a/epvalue.h b/epvalue.h
index 5d3a85b..13ceea8 100644
--- a/epvalue.h
+++ b/epvalue.h
@@ -23,7 +23,7 @@
 #define VC_FUNCOUTINDEX 1
 
 class EPValue {
- public:
+public:
 	EPValue(ExecPoint *, EPRecord *, const void *addr, uint64_t value, int len);
 	~EPValue();
 	uint64_t getValue() {return value;}
@@ -34,9 +34,9 @@ class EPValue {
 	EPRecord *firstrecord;
 	EPRecord *lastrecord;
 	EPRecord * getRecord() {return record;}
-	
+
 	MEMALLOC;
- private:
+private:
 	ExecPoint * execpoint;
 	EPRecord *record;
 	const void *addr;