X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=traceanalysis.h;h=3f8c768868c03db71906808e92934fce93f51dfb;hb=HEAD;hp=d363150ab3c72e2c3efcd46a2b8dd7d88dd970a8;hpb=a65e234b607444355eb6e34097ee55ba93d4c01b;p=c11tester.git

diff --git a/traceanalysis.h b/traceanalysis.h
index d363150a..3f8c7688 100644
--- a/traceanalysis.h
+++ b/traceanalysis.h
@@ -4,12 +4,12 @@
 
 
 class TraceAnalysis {
- public:
+public:
 	/** setExecution is called once after installation with a reference to
 	 *  the ModelExecution object. */
 
 	virtual void setExecution(ModelExecution * execution) = 0;
-	
+
 	/** analyze is called once for each feasible trace with the complete
 	 *  action_list object. */