X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=scanalysis.h;fp=scanalysis.h;h=286f73dea6ec00f065af822f66ae4c3baee1f59c;hb=f3359dd1b9ba12e5092504e8e53e3615bdb2956a;hp=ffa933ad5e2b872769199ca81fbcec9d7afd8333;hpb=b090a4abc4915a9aa2a29787f76a6add79f838e2;p=model-checker.git

diff --git a/scanalysis.h b/scanalysis.h
index ffa933a..286f73d 100644
--- a/scanalysis.h
+++ b/scanalysis.h
@@ -10,7 +10,7 @@ class SCAnalysis : public TraceAnalysis {
 	virtual void setExecution(ModelExecution * execution);
 	virtual void analyze(action_list_t *);
 	virtual char * name();
-
+	virtual bool option(char *);
 
 	SNAPSHOTALLOC
  private: