X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=traceanalysis.h;h=fe60591f68603d55dcc2a5c546c11099c2866050;hb=a4d3f2ae3f3a9e2a30cc36c92cee9f83bb09e9b1;hp=a71e8c9df9b08123ca371f5bd48b8c193f75fb4d;hpb=f3359dd1b9ba12e5092504e8e53e3615bdb2956a;p=model-checker.git

diff --git a/traceanalysis.h b/traceanalysis.h
index a71e8c9..fe60591 100644
--- a/traceanalysis.h
+++ b/traceanalysis.h
@@ -6,7 +6,7 @@ class TraceAnalysis {
  public:
 	virtual void setExecution(ModelExecution * execution) = 0;
 	virtual void analyze(action_list_t *) = 0;
-	virtual char * name() = 0;
+	virtual const char * name() = 0;
 	virtual bool option(char *) = 0;
 
 	SNAPSHOTALLOC