diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-30 16:35:40 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-30 16:35:40 +0200 |
| commit | a8863500307f01b9df6d13b19db61066d219c553 (patch) | |
| tree | 5ddbacd6f8c9e52b95c04bf58790f34042081bf2 | |
| parent | abd3858dfd86a3aab07025b50c1f63f0b28f1b7f (diff) | |
| download | smtcoq-a8863500307f01b9df6d13b19db61066d219c553.tar.gz smtcoq-a8863500307f01b9df6d13b19db61066d219c553.zip | |
Rename directory because MacOS FS is case-insensitive
| -rw-r--r-- | src/PArray/PArray.v (renamed from src/Array/PArray.v) | 0 | ||||
| -rw-r--r-- | src/_CoqProject | 4 | ||||
| -rw-r--r-- | src/trace/coqInterface.ml | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/Array/PArray.v b/src/PArray/PArray.v index 35d68b4..35d68b4 100644 --- a/src/Array/PArray.v +++ b/src/PArray/PArray.v diff --git a/src/_CoqProject b/src/_CoqProject index 3267a58..2a883c8 100644 --- a/src/_CoqProject +++ b/src/_CoqProject @@ -26,10 +26,10 @@ -I trace -I verit -I zchaff --I Array +-I PArray -I ../3rdparty/alt-ergo -Array/PArray.v +PArray/PArray.v bva/BVList.v bva/Bva_checker.v diff --git a/src/trace/coqInterface.ml b/src/trace/coqInterface.ml index b462881..81a22c9 100644 --- a/src/trace/coqInterface.ml +++ b/src/trace/coqInterface.ml @@ -121,7 +121,7 @@ let cint = gen_constant int63_module "int" (* PArray *) -let parray_modules = [["SMTCoq";"Array";"PArray"]] +let parray_modules = [["SMTCoq";"PArray";"PArray"]] let cmake = gen_constant parray_modules "make" let cset = gen_constant parray_modules "set" |