traceanalysis: rename to remove '_'
[model-checker.git] / scanalysis.h
index f9db2db..06fc2ed 100644 (file)
@@ -3,7 +3,7 @@
 #include "traceanalysis.h"
 #include "hashtable.h"
 
-class SCAnalysis : public Trace_Analysis {
+class SCAnalysis : public TraceAnalysis {
  public:
        SCAnalysis();
        ~SCAnalysis();