smt.h 57 Bytes
Newer Older
1 2 3 4 5 6
#ifndef SMT_H
#define SMT_H 1

int smt_on(void);

#endif