traceanalysis: rename to remove '_'

[model-checker.git] / scanalysis.h

diff --git a/scanalysis.h b/scanalysis.h
index f9db2db74693d4e4706dc08a2462d1e842f2bb3d..06fc2ed54d7cc0b04bd04071a2649895e4a4ef05 100644 (file)
--- a/scanalysis.h
+++ b/scanalysis.h
@@ -3,7 +3,7 @@
 #include "traceanalysis.h"
 #include "hashtable.h"
 
-class SCAnalysis : public Trace_Analysis {
+class SCAnalysis : public TraceAnalysis {
  public:
        SCAnalysis();
        ~SCAnalysis();