X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=e35457e1eea77c9dd653db444303d6284caa7279;hb=7742256df627848c1c375f979f5369a45c92057b;hp=fd65c0503b0ecd32ff16536a601a12c5fb9fab68;hpb=25d73096cfc14c655f94b01bb235cc5efd1d5696;p=c11tester.git

diff --git a/model.h b/model.h
index fd65c050..e35457e1 100644
--- a/model.h
+++ b/model.h
@@ -107,5 +107,6 @@ private:
 extern ModelChecker *model;
 void parse_options(struct model_params *params);
 void install_trace_analyses(ModelExecution *execution);
+void createModelIfNotExist();
 
 #endif	/* __MODEL_H__ */