diff options
author | 2016-07-13 09:45:41 +0200 | |
---|---|---|
committer | 2016-07-13 09:45:41 +0200 | |
commit | 3f9215b2b65b902cc52fd540f57f67342401a91f (patch) | |
tree | 98191563b3c42ce4e5c559039de380c0d00ac227 /proofs/evar_refiner.ml | |
parent | 605048905db9107a1d4b3c35ce59f5719474f875 (diff) |
Makefile.dev: fix a typo in the 'logic' rule
Diffstat (limited to 'proofs/evar_refiner.ml')
0 files changed, 0 insertions, 0 deletions