fix mutex_trylock bug

[c11tester.git] / traceanalysis.h

diff --git a/traceanalysis.h b/traceanalysis.h
index d363150ab3c72e2c3efcd46a2b8dd7d88dd970a8..3f8c768868c03db71906808e92934fce93f51dfb 100644 (file)
--- 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. */