diff options
| author | Pierre Courtieu | 2021-04-08 16:50:47 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2021-04-08 16:50:47 +0200 |
| commit | 5dc5e6f085b1f2b2fb6a2ee6216b6d609310071b (patch) | |
| tree | 06e416c335f4a2f93e9cce7ee4b7af677aed36a6 /hol98/example.sml | |
| parent | 9929d50bf33c3f72682713bbc2ef12ed21301407 (diff) | |
Fix useless quotes generatinf warnings.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions