diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2019-09-20 11:07:47 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2019-09-20 11:07:47 +0200 |
commit | a17e48674bace4df1509b0624bef85128d81afbf (patch) | |
tree | 97e2ae715bfbe4fcf40d3e9706954055d0a0f39b /src/lfsc/converter.ml | |
parent | 9b80b60bbf8bc7ec0ce8985b66399a179126882d (diff) | |
download | smtcoq-a17e48674bace4df1509b0624bef85128d81afbf.tar.gz smtcoq-a17e48674bace4df1509b0624bef85128d81afbf.zip |
Remove unused file
Diffstat (limited to 'src/lfsc/converter.ml')
0 files changed, 0 insertions, 0 deletions