blob: b8414b7bcbc87b45a0c38dd7c2829d74a538fe10 [file] [log] [blame]
#ifndef SMT_H
#define SMT_H 1
int smt_on(void);
#endif