[model-checker.git] / model.h

#ifndef __MODEL_H__
#define __MODEL_H__

struct model_checker {
};

#endif /* __MODEL_H__ */