修改默认dts

hc

2023-02-14 0cc9b7c44253c93447ddf73e206fbdbb3d9f16b1

1
2
3
4
5
6
#ifndef SMT_H
#define SMT_H 1
 
int smt_on(void);
 
#endif